kaf24@freefall.cl.cam.ac.uk 8ad6d3829b bitkeeper revision 1.1159.1.326 (418677bearNwfvI3AaLxMG1OKQfO9A)
Better do_softirq(). We know that there is at least one softirq pending
on entry, so we cget rid of the initial test for zero.
2004-11-01 17:51:58 +00:00

###############################
__  __            ____    ___
\ \/ /___ _ __   |___ \  / _ \
 \  // _ \ '_ \    __) || | | |
 /  \  __/ | | |  / __/ | |_| |
/_/\_\___|_| |_| |_____(_)___/

###############################

University of Cambridge Computer Laboratory
29 October 2004

http://www.cl.cam.ac.uk/netos/xen/

About the Xen Virtual Machine Monitor
=====================================

Xen is a Virtual Machine Monitor (VMM) originally developed by the
Systems Research Group of the University of Cambridge Computer
Laboratory, as part of the UK-EPSRC funded XenoServers project.

The 2.0 release offers excellent performance, hardware support and
enterprise-grade features such as live migration. Linux 2.6, 2.4 and
NetBSD 2.0 are already available for Xen, with more operating system
ports on the way.

Xen is freely-distributable Open Source software, released under the
GNU GPL.

For full documentation, see the Xen User Manual in docs/pdf/user.pdf
(after running make -C docs) or the Documentation page on the Xen
website.
Languages
C 91.8%
Python 1.7%
Assembly 1.7%
Makefile 1.1%
Shell 1%
Other 2.4%