They didn’t build an operating system, they built a boot program that exposes the chip in a way an operating system doesn’t behave.