> Sony boots a RTOS Linux system on their cameras in 3 seconds flat, and the firmware is arguably mission critical for that camera. It can be done for an infotainment system.

Is stuff like this documented anywhere? This is one software topic I find endlessly fascinating but can't find any resources on.