Learning operating system development using Linux kernel and Raspberry Pi (2018)github.com6 points·ddtaylor··1 commentOpen articleSaveView on HN