Skip to content
/ mirage-platform Public
forked from mirage/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.

www.openmirage.org/
0 stars 45 forks Branches Tags Activity
Star
Notifications

pgj/mirage-platform

BranchesTags
 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

311 Commits

kfreebsd

kfreebsd

 
 

ns3

ns3

 
 

scripts

scripts

 
 

unix

unix

 
 

xen

xen

 
 

.gitignore

.gitignore

 
 

CHANGES

CHANGES

 
 

Makefile

Makefile

 
 

README.md

README.md

 
 

cmd

cmd

 
 

myocamlbuild.ml

myocamlbuild.ml

 
 

Repository files navigation

This contains the OS bindings for the Mirage operating system, primarily through an OS OCaml module. The following backends are available:

  • Unix: maps POSIX resources and executes Mirage apps as normal binaries.

  • Xen: a microkernel backend that can run against Xen3+

  • kFreeBSD: runs Mirage apps inside the FreeBSD kernel

For documentation, visit http://openmirage.org

About

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.

www.openmirage.org/

Resources

Readme
Activity

Stars

0 stars

Watchers

3 watching

Forks

0 forks
Report repository

Releases

14 tags

Packages

No packages published

Languages

  • C 84.2%
  • OCaml 6.0%
  • C++ 5.3%
  • Assembly 3.9%
  • Other 0.6%