abi_x86_64 amd64 bios elibc_glibc kernel_linux uefi
