abi_x86_64 amd64 efi32 efi64 elibc_glibc iso kernel_linux usb userland_GNU
