/mirage-platform

Core platform libraries for Mirage (UNIX and Xen). This provides the `OS` library which handles timers, device setup and the main loop, as well as the runtime for the Xen microkernel.

Primary LanguageOCamlOtherNOASSERTION

No issues in this repository yet.