.EXPORT_ALL_VARIABLES:
############################################################################

#
# Vendor specific settings
#

BUILD_NETtel = 1
KERNEL_EXTRA_CFLAGS = -DCONFIG_GEODEWATCHDOG -DCONFIG_SE5000
VENDOR_CFLAGS = -DCONFIG_REEFEDGE -DCONFIG_SECUREEDGE -DCONFIG_NETtel -DCONFIG_X86
BOOTFLAGS = -DCONFIG_SC1100=1 -DCONFIG_REEFEDGE=1 -DCONFIG_HD_BOOT=1 -DCONFIG_TFTPLOADER=0 -DCONFIG_PXE=1 -DCONFIG_WATCHDOG=1

############################################################################

include $(ROOTDIR)/vendors/config/i386/config.arch

############################################################################