Wombat (operating system)
{{Short description|Microkernel operating system}}
{{About|the operating system||Wombat (disambiguation)}}
{{Infobox OS
| name = Wombat
| logo =
| caption = The Wombat operating system
| screenshot =
| developer = National ICT Australia
| source model =
| family = L4
| working state =
| released = {{Start date and age|2004}}
| latest release version = 2.6.9.1
| latest release date =
| latest preview version =
| latest preview date =
| license = GPLv2
| marketing_target = Embedded systems
| programmed in =
| language = English
| supported_platforms = x86, ARM, MIPS
| kernel type =
Microkernel paravirtualised Linux (running on L4Ka::Pistachio and IGUANA)
| update model =
| package manager =
|website=
}}
In computing, Wombat is an operating system, a high-performance virtualised Linux embedded operating system marketed by Open Kernel Labs, a spin-off of National ICT Australia's (now NICTA) Embedded, Real Time, Operating System Program.
Wombat is a de-privileged (paravirtualised) Linux running on an L4 and IGUANA system. It is optimized for embedded systems.
See also
References
{{Reflist|refs=
{{cite web
| url=http://l4hq.org/oldnews.php
| title=Beta release of Kenge, Iguana and Wombat
| access-date=2010-03-12
| author=
}}
{{cite journal
| title=Wombat: A portable user-mode Linux for embedded systems
|last1=Leslie |first1=Ben
|last2=van Schaik |first2=Carl
|last3=Heiser |first3=Gernot
| date=April 2005
| periodical=Proceedings of Linux.conf.au
| issue=2005
| place=Canberra
| url=https://ssrg.nicta.com.au/publications/papers/Leslie_vSH_05
| access-date=2016-10-21
| format=pdf
|via=ts.data61.csiro.au/publications/papers/Leslie_vSH_05.abstract
| archive-url=https://web.archive.org/web/20161021092947/https://ssrg.nicta.com.au/publications/papers/Leslie_vSH_05
| archive-date=2016-10-21
}}
}}
External links
- [https://web.archive.org/web/20180413215728/https://www.linux.org.au/conf/2005/Papers/Ben%20Leslie/Wombat_%20A%20portable%20user-mode%20Linux%20for%20embedded%20systems/wombat.ps.gz Wombat: A portable user-mode Linux for embedded systems (presentation slides)]
- [https://web.archive.org/web/20130317022740/http://www.ertos.nicta.com.au/software/kenge/wombat/latest/ Virtualised os: wombat]
- [https://web.archive.org/web/20130411155937/http://www.ertos.nicta.com.au/software/kenge/iguana-project/latest/ Iguana]
- [https://web.archive.org/web/20191024093602/http://l4hq.org/projects/os/ L4 Based Operating Systems]
- [http://os.inf.tu-dresden.de/L4/L4.Sec/ L4.Sec Microkernel Specification]
- [https://web.archive.org/web/20140227155805/http://www.ertos.nicta.com.au/software/kenge/pistachio/latest/ NICTA L4-embedded Kernel]
{{Real-time operating systems}}
{{Microkernel}}
Category:Real-time operating systems
Category:Embedded operating systems
Category:Microkernel-based operating systems
Category:ARM operating systems
Category:MIPS operating systems
Category:X86 operating systems
{{Operating-system-stub}}