The KnightOS kernel