…
..
booting.txt	…
legacy_instructions.txt	…
memory.txt	…
silicon-errata.txt	…
tagged-pointers.txt	…