Learning operating system development using Linux kernel and Raspberry Pi - View it on GitHub