They are probably running a custom embedded operating system for small size and real time scheduling. While linux is capable of that now its support and implementation is still iffy.