linux/Documentation/arm64
..
booting.txt
memory.txt
tagged-pointers.txt