KERNEL_CFLAGS := -mcmodel=kernel -nostdlib -mno-red-zone -Wall -Werror
DYNMOD_CFLAGS := -mcmodel=small -fPIC -mno-red-zone
ARCHDIR = x86_64
KERNEL_CFLAGS := -mcmodel=kernel -nostdlib -mno-red-zone -Wall -Werror
DYNMOD_CFLAGS := -mcmodel=small -fPIC -mno-red-zone
ARCHDIR = x86_64