ia64/xen-unstable

view extras/mini-os/README @ 8612:d783bdd14f2e

Remove the free_vcpu() interface I added in the preceding
changeset. It makes no sense, since an allocated VCPU
cannot be freed at any arbitrary point because individual
VCPUs are not refcounted.

Instead extend free_domain() slightly so it really does do
the reverse of alloc_vcpu() for every allocated VCPU.

Signed-off-by: Keir Fraser <keir@xensource.com>
author kaf24@firebug.cl.cam.ac.uk
date Sat Jan 14 23:40:09 2006 +0100 (2006-01-14)
parents 06d84bf87159
children 0839db0aa611
line source
1 Minimal OS
2 ----------
4 This shows some of the stuff that any guest OS will have to set up.
6 This includes:
8 * installing a virtual exception table
9 * handling virtual exceptions
10 * handling asynchronous events
11 * enabling/disabling async events
12 * parsing start_info struct at start-of-day
13 * registering virtual interrupt handlers (for timer interrupts)
14 * a simple page and memory allocator
15 * minimal libc support
17 Stuff it doesn't show:
19 * modifying page tables
20 * network code
21 * block-device code
24 - to build it just type make.
26 - to start it do the following in domain0 (assuming xend is running)
27 # xm create domain_config
29 this starts the kernel and prints out a bunch of stuff and then every
30 1000 timer interrupts the system time.