PROCESSORS_MAX=8
KERNEL_STACKBYTES = 4096

ENABLE_UART = y
ENABLE_PORTIO_UART = y
ENABLE_INITRD = y
ENABLE_SSE=y
ENABLE_AVX=n

DBG_MEM=y
DBG_SYSCALL=n
DBG_LOCK=n

CFLAGS = \
		  -ffreestanding \
		  -nostdlib \
		  -fno-pie \
		  -fno-pic \
		  -g \
		  -D__$(TARGET_MACHINE)__ \
		  -D__$(TARGET_BOOTLOADER)__ \
		  -DPROCESSORS_MAX=$(PROCESSORS_MAX) \
		  -DKERNEL_STACKBYTES=$(KERNEL_STACKBYTES) \
		  -Iinclude \
		  -I.

LDFLAGS = -nostdlib \
		   -z max-page-size=0x1000 \
		   -T link/$(TARGET_TRIPLET).ld

ifeq "$(TARGET_MACHINE)" "x86_64"
	CFLAGS += -m64 \
			  -mno-red-zone \
			  -mcmodel=kernel \
			  -mfsgsbase
endif

ifeq "$(ENABLE_SSE)" "y"
CFLAGS += -DENABLE_SSE
else
CFLAGS += -mno-sse
endif

ifeq "$(ENABLE_AVX)" "y"
CFLAGS += -DENABLE_AVX
endif

ifeq "$(ENABLE_UART)" "y"
CFLAGS += -DENABLE_UART	
endif

ifeq "$(ENABLE_PORTIO_UART)" "y"
CFLAGS += -DENABLE_PORTIO_UART
endif

ifeq "$(ENABLE_INITRD)" "y"
CFLAGS += -DENABLE_INITRD
endif

ifeq "$(DBG_MEM)" "y"
CFLAGS += -DDBG_MEM
endif

ifeq "$(DBG_SYSCALL)" "y"
CFLAGS += -DDBG_SYSCALL
endif

ifeq "$(DBG_LOCK)" "y"
CFLAGS += -DDBG_LOCK
endif