History

• The UNIX Operating System, AT&T Archives, at YouTube
• The UNIX Time-Sharing System, Dennis M. Ritchie and Ken L. Thompson, Bell System Technical Journal 57(6)
• The Evolution of the Unix Time-sharing System, Dennis M. Ritchie
• A Narrative History of BSD, Kirk McKusick, at YouTube
• Lessons Learned from 30 Years of MINIX, Andrew S. Tanenbaum
• From L3 to seL4: What Have We Learnt in 20 Years of L4 Microkernels?, Kevin Elphinstone and Gernot Heiser
• SOSP History Day, October 4, 2015

RISC-V

• The RISC-V Instruction Set Manual Volume I: Unprivileged ISA
• The RISC-V Instruction Set Manual Volume II: Privileged Architecture
• RISC-V ELF psABI specification
• SiFive U54 Manual

Programming

• The C programming language (2nd edition), Kernighan and Ritchie. Prentice Hall, Inc., 1988. ISBN 0131103628.
• Executable and Linking Format (ELF) Specification
• Virtualization Overview, VMware
• Virtual I/O Device (VIRTIO) Version 1.1