Formal course description:
https://www.pdx.edu/electrical-computer-engineering/ece-373-embedded-operating-systems-and-device-drivers