…
..
i386	…
x86_64	…
00-INDEX	…
boot.txt	…
early-microcode.txt	…
earlyprintk.txt	…
efi-stub.txt	…
entry_64.txt	…
exception-tables.txt	…
mtrr.txt	…
pat.txt	…
usb-legacy-support.txt	…
zero-page.txt	…