8.temu		386 binary of our modified tinyemu
9tecpu.bin:	64-bit risc-v kernel for our tinyemu
c-riscv64.pdf	copy of Richard Miller's risc-v C compiler slides
dist.9k-rv.tgz:	source for 9k risc-v and amd64 kernels, compilers, tinyemu and more
riscv-platform-spec-1.pdf:	Unixish platform spec
riscv-plic.pdf:			PLIC spec
riscv-privileged-v1.12.pdf:	privileged spec
riscv-v2.2.pdf:			unprivileged spec