--rwxrwxr-x geoff geoff  530331 Jul 20  2024 6.temu
--rwxrwxr-x geoff geoff  506326 Jul 20  2024 8.temu
--rwxrwxr-x geoff geoff 1075661 May 25 10:18 9tecpu
--rw-rw-r-- geoff geoff     485 May 25 10:20 INDEX
--rw-rw-r-- geoff geoff   92145 Jan  6  2023 c-riscv64.pdf
--rw-rw-r-- geoff geoff 3736103 May 25 08:08 dist.9k-rv.tgz
--rw-rw-r-- geoff geoff  246069 Apr 30  2022 riscv-platform-spec-1.pdf
--rw-rw-r-- geoff geoff  543279 Apr 30  2022 riscv-plic.pdf
--rw-rw-r-- geoff geoff  764565 Apr 30  2022 riscv-privileged-v1.12.pdf
--rw-rw-r-- geoff geoff 1031063 Apr 30  2022 riscv-v2.2.pdf