
NICS = rtl8139 8086100e

CFLAGS += -UPXE_DHCP_STRICT
CFLAGS += -DPXE_DHCP_STRICT

CFLAGS += -UNO_POST_PROMPT
CFLAGS += -DNO_POST_PROMPT

CFLAGS += -UCONSOLE_SERIAL
CFLAGS += -DCONSOLE_SERIAL=1
