Merge branch x86/build into x86/efi and fix up arch/x86/boot/tools/build.c
[platform/kernel/linux-arm64.git] / tools / include /
drwxr-xr-x   ..
drwxr-xr-x - tools