Skip to content


Subversion checkout URL

You can clone with
Download ZIP
Really mini operating system (extracted from xen-unstable, and much stuff removed)
C Assembly
Branch: master

minios: Remove unused variables warnings

s/DEBUG/printk/ in test_xenbus and all associated do_*_test+xenbus_dbg_message
and always print the IRQ and MFN used by the xenbus on init.

Signed-off-by: Ian Campbell <>
Tested-by: John McDermott <>
Committed-by: Ian Jackson <>
latest commit cfb21ad4b3
Ian Campbell authored
Failed to load latest commit information.
console mini-os: make frontends and xenbus optional
xenbus minios: Remove unused variables warnings
COPYING minios: Introduce BSD license COPYING file build: Make XEN_ROOT an absolute path.
Makefile stubdom: enable xenstored build
README minios: update README
domain_config MiniOS: no-stack-protector added to the cflags if needed,
fbfront.c mini-os: stop compiler complaint about unused variables
gnttab.c stubdom/minios: re-structure headers
hypervisor.c stubdom/minios: re-structure headers
kernel.c mini-os: make frontends and xenbus optional
lwip-arch.c minios: switch to C99 integer types
main.c mini-os: make frontends and xenbus optional
mm.c stubdom/minios: re-structure headers
netfront.c mini-os: stop compiler complaint about unused variables
sched.c mini-os: use BSD sys/queue.h instead of Linux list.h
test.c mini-os: Move test functions into test.c


 Minimal OS

This shows some of the stuff that any guest OS will have to set up.

This includes:

 * installing a virtual exception table
 * handling virtual exceptions
 * handling asynchronous events
 * enabling/disabling async events
 * parsing start_info struct at start-of-day
 * registering virtual interrupt handlers (for timer interrupts)
 * a simple page and memory allocator
 * minimal libc support
 * minimal Copy-on-Write support
 * network, block, framebuffer support
 * transparent access to FileSystem exports (see tools/fs-back)

- to build it just type make.

- to build it with TCP/IP support, download LWIP 1.3 source code and type

  make LWIPDIR=/path/to/lwip/source

- to build it with much better libc support, see the stubdom/ directory

- to start it do the following in domain0 (assuming xend is running)
  # xm create domain_config

This starts the kernel and prints out a bunch of stuff and then once every
second the system time.

If you have setup a disk in the config file (e.g.
disk = [ 'file:/tmp/foo,hda,r' ] ), it will loop reading it.  If that disk is
writable (e.g. disk = [ 'file:/tmp/foo,hda,w' ] ), it will write data patterns
and re-read them.

If you have setup a network in the config file (e.g. vif = [''] ), it will
print incoming packets.

If you have setup a VFB in the config file (e.g. vfb = ['type=sdl'] ), it will
show a mouse with which you can draw color squares.

If you have compiled it with TCP/IP support, it will run a daytime server on
TCP port 13.
Something went wrong with that request. Please try again.