Mini-OS: Difference between revisions
From Xen
Jump to navigationJump to search
Lars.kurth (talk | contribs) m (Created page with "Mini-OS is a tiny OS kernel distributed with the Xen hypervisor sources (see extras/mini-os in the Xen source code). It is mainly used as operating system for [[Device_Model_Stub…") |
Lars.kurth (talk | contribs) No edit summary |
||
(12 intermediate revisions by 3 users not shown) | |||
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 development of [[Unikernels]], having been instrumental in the formation of multiple examples including [http://wiki.xenproject.org/wiki/Unikernels#Unikernel_List ClickOS] and [[Rump kernel|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. |
|||
Also See |
Also See |
||
* [[Mini-OS-DevNotes|A tour of Mini-OS]] |
* [[Mini-OS-DevNotes|A tour of Mini-OS]] |
||
* [https://www.xenproject.org/mailing-list.html#minios Mailing list] |
|||
* README file in the Xen source tree at extras/mini-os/README |
|||
* [http://xenbits.xenproject.org/gitweb/?p=mini-os.git Code] |
|||
* [http://xenbits.xenproject.org/gitweb/?p=mini-os.git;a=blob;f=README;hb=HEAD README] file in the mini-os source tree. |
|||
[[Category:Xen]] |
[[Category:Xen]] |
||
[[Category:Glossary]] |
[[Category:Glossary]] |
||
[[Category:Unikernels]] |
|||
[[Category:Minios]] |
Latest revision as of 13:03, 7 February 2018
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 development of Unikernels, having been instrumental in the formation of multiple examples including 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
- Mailing list
- Code
- README file in the mini-os source tree.