Mini-OS: Difference between revisions
From Xen
Jump to navigationJump to search
(Updates for split into own tree.) |
Rcpavlicek (talk | contribs) No edit summary |
||
Line 1: | Line 1: | ||
Mini-OS is a tiny OS kernel distributed with the Xen |
Mini-OS is a tiny OS kernel distributed with the Xen Project Hypervisor sources. It is mainly used as operating system for [[Device_Model_Stub_Domains|stub domains]] that are used for [[Dom0 Disaggregation]]. But it is also used as a basis for [[Unikernel]] development, having been instrumental in the formation of ClickOS and [[rump kernels]]. |
||
As of March 2015 mini-os now has its own [http://xenbits.xen.org/gitweb/?p=mini-os.git;a=summary git tree]. Previously (release 4.5.0 and earlier) it was part of [http://xenbits.xen.org/gitweb/?p=xen.git;a=summary xen.git] in the extras/mini-os subdirectory. |
As of March 2015 mini-os now has its own [http://xenbits.xen.org/gitweb/?p=mini-os.git;a=summary git tree]. Previously (release 4.5.0 and earlier) it was part of [http://xenbits.xen.org/gitweb/?p=xen.git;a=summary xen.git] in the extras/mini-os subdirectory. |
Revision as of 23:59, 24 June 2015
Mini-OS is a tiny OS kernel distributed with the Xen Project Hypervisor sources. It is mainly used as operating system for stub domains that are used for Dom0 Disaggregation. But it is also used as a basis for Unikernel development, having been instrumental in the formation of ClickOS and rump kernels.
As of March 2015 mini-os now has its own git tree. Previously (release 4.5.0 and earlier) it was part of xen.git in the extras/mini-os subdirectory.
Also See
- A tour of Mini-OS
- README file in the mini-os source tree.