# config macros
CONSTANTS-$(CONFIG_64) +=
CONSTANTS-$(CONFIG_DEBUG_GDB) += -DDEBUG_GDB
CONSTANTS-$(CONFIG_SPINLOCK_DEBUG) += -DSPINLOCK_DEBUG
CONSTANTS-$(CONFIG_TTY_SERIAL) += -DTTY_SERIAL
CONSTANTS-$(CONFIG_CPU_MMU_SPT_1) += -DCPU_MMU_SPT_1
CONSTANTS-$(CONFIG_CPU_MMU_SPT_2) += -DCPU_MMU_SPT_2
CONSTANTS-$(CONFIG_CPU_MMU_SPT_3) += -DCPU_MMU_SPT_3
CONSTANTS-$(CONFIG_CPU_MMU_SPT_USE_PAE) += -DCPU_MMU_SPT_USE_PAE
CONSTANTS-$(CONFIG_CPU_MMU_SPT_DISABLE) += -DCPU_MMU_SPT_DISABLE
CONSTANTS-$(CONFIG_PS2KBD_F11PANIC) += -DF11PANIC
CONSTANTS-$(CONFIG_PS2KBD_F12MSG) += -DF12MSG
CONSTANTS-$(CONFIG_AUTO_REBOOT) += -DAUTO_REBOOT
CONSTANTS-$(CONFIG_DBGSH) += -DDBGSH
CONSTANTS-$(CONFIG_STATUS) += -DSTATUS
CONSTANTS-$(CONFIG_LOG_TO_GUEST) += -DLOG_TO_GUEST
CONSTANTS-$(CONFIG_CRYPTO) += -DCRYPTO
CONSTANTS-$(CONFIG_VPN) += -DVPN
CONSTANTS-$(CONFIG_PS2KBD_F10USB) += -DF10USBTEST
CONSTANTS-$(CONFIG_PS2KBD_F12USB) += -DF12DUMPEHCI
CONSTANTS-$(CONFIG_FWDBG) += -DFWDBG
CONSTANTS-$(CONFIG_ACPI_DSDT) += -DACPI_DSDT
CONSTANTS-$(CONFIG_DISABLE_SLEEP) += -DDISABLE_SLEEP
CONSTANTS-$(CONFIG_ENABLE_ASSERT) += -DENABLE_ASSERT
CONSTANTS-$(CONFIG_CARDSTATUS) += -DCARDSTATUS
CONSTANTS-$(CONFIG_IDMAN) += -DIDMAN
CONSTANTS-$(CONFIG_VPN_VE) += -DVPN_VE
CONSTANTS-$(CONFIG_DISABLE_TCG_BIOS) += -DDISABLE_TCG_BIOS
CONSTANTS-$(CONFIG_ACPI_TIME_SOURCE) += -DACPI_TIME_SOURCE
CONSTANTS-$(CONFIG_TCG_BIOS) += -DTCG_BIOS
CONSTANTS-$(CONFIG_BACKTRACE) += -DBACKTRACE
CONSTANTS-$(CONFIG_TTY_VGA) += -DTTY_VGA
CONSTANTS-$(CONFIG_SHIFT_KEY_DEBUG) += -DSHIFT_KEY_DEBUG

CONSTANTS-1 += -DUSE_PAE
CONSTANTS-1 += -DVIRTUAL_MACHINE_MONITOR

CFLAGS += -Ivpn/lib
CFLAGS += -Iedk/Foundation/Efi/Include/ -Iedk/Foundation/Framework/Include/
CFLAGS += -Iedk/Foundation/Include/ -Iedk/Foundation/Efi/

c:=
c += $(wildcard $(dir)*.c)
c += $(wildcard $(dir)aml/*.c)
s:=
s += $(wildcard $(dir)*.s)
s += $(wildcard $(dir)aml/*.s)

objs-1 += $(c:$(dir)%.c=%.o) $(s:$(dir)%.s=%.o)
