aboutsummaryrefslogtreecommitdiffstats
path: root/extras/mini-os/hypervisor.c
Commit message (Expand)AuthorAgeFilesLines
* stubdom/minios: re-structure headersKeir Fraser2009-10-011-3/+4
* minios: switch to C99 integer typesKeir Fraser2009-07-151-3/+3
* stubdom: use host's gccKeir Fraser2008-07-041-1/+2
* minios: Fix width of shifted 1Keir Fraser2008-05-241-2/+2
* minios: in non-x86 case, use wmb to enforce ordering betweenKeir Fraser2008-05-081-1/+5
* minios: fix port selection shiftsKeir Fraser2008-05-081-2/+3
* minios: call do_hypervisor_callback directly from force_evtchn_callbackKeir Fraser2008-04-161-0/+15
* [Mini-OS] Make sure schedule() is called safelyKeir Fraser2007-11-241-0/+5
* minios: Various small fixes.kaf24@firebug.cl.cam.ac.uk2007-03-191-2/+2
* Fix x86/64 version of Mini-OS. It encompasses the following:kaf24@firebug.cl.cam.ac.uk2006-05-021-1/+1
* The Mini-OS build once again broke, this time since vcpu_data became vcpu_infokaf24@firebug.cl.cam.ac.uk2005-12-061-2/+2
* Mini-os updates from Grzegorz Milos.kaf24@firebug.cl.cam.ac.uk2005-07-061-45/+50
* bitkeeper revision 1.520 (3f8d13d8qVVqxcYD--4cXYs5egqNyg)kaf24@scramble.cl.cam.ac.uk2003-10-151-23/+16
* bitkeeper revision 1.490 (3f831e5fpXnszWjg8lV_9law4lUnbg)kaf24@scramble.cl.cam.ac.uk2003-10-071-0/+14
* bitkeeper revision 1.483 (3f81a3e2iM-0WXaGxUS3ywM3_KZqLw)iap10@labyrinth.cl.cam.ac.uk2003-10-061-0/+83