kernel_c_args = [
    '-ffreestanding',
    '-fno-stack-protector',
    '-fno-omit-frame-pointer',
    '-fno-pie',
    '-nostdinc',
    '-D__KERNEL__=1',
]

kernel_lds = meson.current_source_dir() / 'kernel.ld'

kernel_link_args = [
    '-ffreestanding',
    '-nostdlib',
    '-Wl,-nostdlib',
    '-static',
    '-T' + kernel_lds,
]

kernel_includes = include_directories(
    'arch' / target_machine.cpu_family() / 'include',
    'include',
)

kernel_sources = []

subdir('arch' / target_machine.cpu_family())
subdir('boot')
subdir('klibc')
subdir('mem')
subdir('core')
subdir('syscalls')

configure_file(configuration: common_cfg, output: 'config.h')

executable(
    'zinnia',
    include_directories: [common_includes, kernel_includes],
    c_args: kernel_c_args,
    link_args: kernel_link_args,
    link_depends: kernel_lds,
    sources: kernel_sources,
    install: true,
    install_dir: get_option('datadir') / 'zinnia',
)