…

..

i386

…

x86_64

…

00-INDEX

…

boot.txt

…

earlyprintk.txt

…

entry_64.txt

…

exception-tables.txt

…

mtrr.txt

…

pat.txt

…

usb-legacy-support.txt

…

zero-page.txt

…