> The core kernel of HM is implemented primarily in a confined
subset of C, consisting of 90k lines of code (LoC), which
includes the basic functionalities. All other OS services are
decoupled and can be deployed individually, totaling over 1
million LoC. The HM’s build system can assemble the OS
services based on detailed configurations specified for various
scenarios, such as placing OS services in different isolation
classes or coalescing some OS services.
> The core kernel of HM is implemented primarily in a confined subset of C, consisting of 90k lines of code (LoC), which includes the basic functionalities. All other OS services are decoupled and can be deployed individually, totaling over 1 million LoC. The HM’s build system can assemble the OS services based on detailed configurations specified for various scenarios, such as placing OS services in different isolation classes or coalescing some OS services.