The author points out that the original Linux kernel wasn’t much bigger (about 8,500 lines). The OS allows for paging ... to building a command line shell. Honestly, we’d have been happier ...