For those interested in extending this “tiny-but-complete” pedagogical approach down into hardware (and also up into application software) I can heartily recommend https://www.nand2tetris.org/
The author’s “Design and Implementation of Microkernels” book sounds pretty fun; too bad it’s in Japanese only as it would be interesting to have a resource discussing ukernel design tradeoffs in one place. (Back in school I took a year of German and had a bit of fun trying to work through some of the classic microkernel papers auf Deutsch; didn’t help my day-to-day vocabulary but made for a few amusing evenings.)
For those interested in extending this “tiny-but-complete” pedagogical approach down into hardware (and also up into application software) I can heartily recommend https://www.nand2tetris.org/
The author’s “Design and Implementation of Microkernels” book sounds pretty fun; too bad it’s in Japanese only as it would be interesting to have a resource discussing ukernel design tradeoffs in one place. (Back in school I took a year of German and had a bit of fun trying to work through some of the classic microkernel papers auf Deutsch; didn’t help my day-to-day vocabulary but made for a few amusing evenings.)
The book’s also on GitHub.