It was a sardonic response to Mach, which claimed to be a MicroKernel while being Monolithic, essentially unstructured, and slower than the systems it sought to replace.
Вот это смешная часть, наноядра просто академическая шутка, ха-ха
NIO has just joined the seL4 Foundation as a Premium Member, which means they will also join the seL4 Board.
About NIO:
NIO Inc. is a pioneer in China's premium electric vehicle market. We design, jointly manufacture, and sell smart and connected premium electric vehicles, driving innovations in next generation technologies in connectivity, autonomous driving, and artificial intelligence.