Is the Nintendo Switch based on an operating system?
The Stagefright multimedia framework, as well as components of the graphics stack including the display server, and the graphics driver, seem to have been derived from the proprietary Linux driver.