For those who weren't familiar with some of the jargon
* HAL: (Hardware Application Layer) [1]
* RTOS: (Real time Operating System) [2,3]
[1] https://www.beningo.com/embedded-basics-apis-vs-hals/
[2] https://en.wikipedia.org/wiki/Real-time_operating_system