1. 2021. Arm v7-M Architecture Reference Manual. (2021). https://developer.arm.com/documentation/ddi0403/latest/
2. 2024. eBPF Documentation. (2024). https://ebpf.io/what-is-ebpf/
3. 2024. HD44780 LCD driver. (2024). https://doc.riot-os.org/group__drivers__hd44780.html
4. 2024. RIOT: The friendly Operating System for the Internet of Things. (2024). https://www.riot-os.org/
5. CHERIoT: Complete Memory Safety for Embedded Devices