…
..
i386	…
x86_64	…
00-INDEX	…
boot.txt	…
early-microcode.txt	…
earlyprintk.txt	…
entry_64.txt	…
exception-tables.txt	…
intel_mpx.txt	…
kernel-stacks	…
mtrr.txt	…
pat.txt	…
protection-keys.txt	…
tlb.txt	…
topology.txt	…
usb-legacy-support.txt	…
zero-page.txt	…