-include make/x86/make.config

ARCH_CFLAGS 	:= -mcmodel=kernel
ARCH_SRC 		:= $(ARCH_SRC) $(shell find src/arch/x86_64 -type f -name '*.c' -print)