kernel_c_args += [
    '-masm=intel',
    '-mgeneral-regs-only',
    '-mno-red-zone',
    '-mcmodel=kernel',
]

kernel_sources += files(
    'gdt.c',
    'idt.c',
    'mem.c',
    'serial.c',
    'smp.c',
    'sys.c',
    'trampoline.S',
    'usercopy.c',
)