CPPFLAGS := -DMAX_CPUS=$(MAX_CPUS) -D USE_MP=0
CFLAGS := $(KERNEL_CFLAGS) -mno-sse -mno-mmx
ASFLAGS := -f elf64 -D MAX_CPUS=$(MAX_CPUS) -D USE_MP=0
CPPFLAGS := -DMAX_CPUS=$(MAX_CPUS) -D USE_MP=0
CFLAGS := $(KERNEL_CFLAGS) -mno-sse -mno-mmx
ASFLAGS := -f elf64 -D MAX_CPUS=$(MAX_CPUS) -D USE_MP=0