References
[1] NXP S32K3 Automotive Telematics Box Guide, https://www.nxp.com/document/guide/getting-started-with-the-s32k3-automotive-telematicsbox-t-box:GS-S32K3-T-BOX
[2] NXP PF5020 datasheet, https://www.nxp.com/docs/en/data-sheet/PF5020.pdf
[3] Egil Juliussen, "Perspectives on Automotive Operating Systems," EE Times, https://www.eetimes.com/perspectives-on-automotive-operating-systems/
[4] MarketsandMarkets™. Automotive Operating System Market. Available at: https://www.marketsandmarkets.com/Market-Reports/automotive-operating-system-market-257628775.html
[5] Intellias, "Everything You Wanted to Know About Types of Operating Systems in Autonomous Vehicles," accessed at https://intellias.com/everything-you-wanted-to-know-about-types-of-operatingsystems-in-autonomous-vehicles/
[6] Linux Journey. Available at: https://linuxjourney.com/
[7] GENIVI/CANdevStudio. Overview. Available at: https://github.com/GENIVI/CANdevStudio#overview