When a computer is turned on, a small "boot program" loads the operating system. Although additional system modules may be loaded as needed, the main part, known as the "kernel" resides in memory ...

An appendix covers how to write your own operating system for RISC-V in about ... The author points out that the original Linux kernel wasn’t much bigger (about 8,500 lines).