An example of reusing the KnightOS kernel in other operating systems.