Education kit for teaching real-time operating systems design and programming on Arm platforms with labs and slides (educational) - View it on GitHub