diff options
Diffstat (limited to 'config.mk')
| -rw-r--r-- | config.mk | 30 |
1 files changed, 28 insertions, 2 deletions
@@ -1,13 +1,18 @@ 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_MEM=y +DBG_SYSCALL=n +DBG_LOCK=n CFLAGS = \ -ffreestanding \ - -mno-sse \ -nostdlib \ -fno-pie \ -fno-pic \ @@ -15,6 +20,7 @@ CFLAGS = \ -D__$(TARGET_MACHINE)__ \ -D__$(TARGET_BOOTLOADER)__ \ -DPROCESSORS_MAX=$(PROCESSORS_MAX) \ + -DKERNEL_STACKBYTES=$(KERNEL_STACKBYTES) \ -Iinclude \ -I. @@ -29,12 +35,24 @@ ifeq "$(TARGET_MACHINE)" "x86_64" -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 @@ -42,3 +60,11 @@ 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 |