Learning operating system development using Linux kernel and Raspberry Pi

If you are looking to learn operating system concepts using RPi there is a new textbook by Prof. Vanderbauwhede, under ARM textbook initiative [1].<p>I think for educational purposes it will be very interesting and useful if someone develop from scratch a simple System V UNIX for RPi based on Bach&#x27;s description in his seminal book on &quot;The Design of the UNIX Operating System&quot; [2]. The book also covers multi processors topic as supported by modern platforms such as RPi.<p>[1]<a href="https:&#x2F;&#x2F;www.arm.com&#x2F;resources&#x2F;education&#x2F;books&#x2F;operating-systems" rel="nofollow">https:&#x2F;&#x2F;www.arm.com&#x2F;resources&#x2F;education&#x2F;books&#x2F;operating-syst...</a><p>[2]<a href="https:&#x2F;&#x2F;github.com&#x2F;suvratapte&#x2F;Maurice-Bach-Notes&#x2F;blob&#x2F;master&#x2F;README.md" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;suvratapte&#x2F;Maurice-Bach-Notes&#x2F;blob&#x2F;master...</a>

Might be a bit controversial but I found writing drivers for Linux on my raspberry pi helped me understand kernels, virtual memory etc. I used Linux Device Drivers (ldd3) which is free online. The book was written for the 2.6 kernel but someone on GitHub updated the code for the latest kernels.

The offical Raspberry Pi distro of Linux is already called “Raspberry Pi OS”:<p><a href="https:&#x2F;&#x2F;www.raspberrypi.org&#x2F;downloads&#x2F;raspberry-pi-os&#x2F;" rel="nofollow">https:&#x2F;&#x2F;www.raspberrypi.org&#x2F;downloads&#x2F;raspberry-pi-os&#x2F;</a>

In terms of teaching fundamentals of operating system theory and systems programming, is there such a thing as an operating system kernel written in Python or some language which is meant to be easy to hack on for educational purposes? I wonder how useful that would be for a CS student, taking the complexity of C, C++, or Rust out of the picture and just running a kernel in a VM for educational purposes.

I want to learn about firmware development. I have been playing with rpi gpio and arduino i2c but have no idea how to start with firmware development. please throw at me references, i&#x27;m very fragile but i&#x27;ll take it and learn from.

I just wanted to say thank you. The resource is really really good. I learned a ton during the first two chapters alone

Is there a similar tutorial that support rpi 2 ?