The interesting part to me in there is seeing a TRON kernel in the wild.
In the 80's TRON was Japan's bet for the future of operating systems, but it just lived on as an embedded kernel in cars, printers and other industrial applications.
https://en.wikipedia.org/wiki/TRON_project
https://www.osnews.com/story/145872/japan-tried-to-build-an-...