additional_kernel_compile_flags= -mno-red-zone -mcmodel=kernel
additional_kernel_link_flags= -T util/linker/kernel64.ld -mno-red-zone
additional_common_assembly_flags= -felf64
has_native_toolchain=1