arch: i386 x86-64, 64 bit unknown PE/COFF UEFI, Windows ABI
arch_flag: --target=x86_64-unknown-uefi -m64 -mcmodel=small -mno-red-zone -D__SYS_LITTLE_ENDIAN__
link_flag: /out:kernel/x86/bImage.efi /subsystem:efi_application /entry:_start /nodefaultlib 
module_link_arch: elf_x86_64
kernel: kernel/x86/*.c kernel/x86/*.S kernel/common/*.c
kernel_target: kernel/x86

needs_kassemble: no