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

kernel_sources += files(
    'apic.c',
    'archctl.c',
    'gdt.c',
    'hpet.c',
    'idt.c',
    'irq.c',
    'mem.c',
    'percpu.c',
    'pmap.c',
    'pmap.c',
    'sched.c',
    'serial.c',
    'smp.c',
    'start.c',
    'syscall.c',
    'tsc.c',
    'usercopy.c',
)

if kconfig.get('CONFIG_PCI', 'n') == 'y'
    kernel_sources += files('pci.c')
endif