Learning operating system development using Linux kernel and Raspberry Pi - s-matyukevich/raspberry-pi-os