aboutsummaryrefslogtreecommitdiffstats
path: root/extras/mini-os/hypervisor.c
Commit message (Collapse)AuthorAgeFilesLines
* stubdom/minios: re-structure headersKeir Fraser2009-10-011-3/+4
| | | | | | | | | As part of making stubdom usable on NetBSD, it is necessary to restructure the minios headers to avoid conflicts with NetBSD's crossbuild toolchain. Signed-off-by: Christoph Egger <Christoph.Egger@amd.com> Acked-by: Samuel Thibault <samuel.thibault@ens-lyon.org>
* minios: switch to C99 integer typesKeir Fraser2009-07-151-3/+3
| | | | | | This is a necessary step to make minios build on NetBSD. Signed-off-by: Christoph Egger <Christoph.Egger@amd.com>
* stubdom: use host's gccKeir Fraser2008-07-041-1/+2
| | | | | | | | This makes stubdom use the host's gcc instead of downloading/compiling binutils+gcc. That requires a bunch of changes and even uncovered a few bugs, but saves a lot of time. Signed-off-by: Samuel Thibault <samuel.thibault@eu.citrix.com>
* minios: Fix width of shifted 1Keir Fraser2008-05-241-2/+2
| | | | | | Shifting 1 more that 32 bits requires 1 to be long-typed. Signed-off-by: Samuel Thibault <samuel.thibault@eu.citrix.com>
* minios: in non-x86 case, use wmb to enforce ordering betweenKeir Fraser2008-05-081-1/+5
| | | | | | evtchn_upcall_pending and evtchn_pending_sel stores. Signed-off-by: Samuel Thibault <samuel.thibault@eu.citrix.com>
* minios: fix port selection shiftsKeir Fraser2008-05-081-2/+3
| | | | | | Event selectors span unsigned longs, whose size is not always 32 bits. Signed-off-by: Samuel Thibault <samuel.thibault@eu.citrix.com>
* minios: call do_hypervisor_callback directly from force_evtchn_callbackKeir Fraser2008-04-161-0/+15
| | | | | | instead of unnecessarily going through the hypervisor. Signed-off-by: Samuel Thibault <samuel.thibault@eu.citrix.com>
* [Mini-OS] Make sure schedule() is called safelyKeir Fraser2007-11-241-0/+5
| | | | | | | If a thread tries to sleep from a callback or with callbacks disabled, Mini-OS will completely lock, so make sure this never happens. Signed-off-by: Samuel Thibault <samuel.thibault@citrix.com>
* minios: Various small fixes.kaf24@firebug.cl.cam.ac.uk2007-03-191-2/+2
| | | | | | | | - Fixed type of variables in hypervisor.c. - Fixed not removing a waiter from watch_queue. - Make wait_for_watch() global accessible. Signed-off-by: Dietmar Hahn <dietmar.hahn@fujitsu-siemens.com>
* Fix x86/64 version of Mini-OS. It encompasses the following:kaf24@firebug.cl.cam.ac.uk2006-05-021-1/+1
| | | | | | | | | | a) 64-bit switch_to scheduler macro (by Aravindh Puthiyaparambil) b) implements 64-bit hypervisor_callback c) fixes thread creation issues (thread_starter used to perform initialisation) Signed-off-by: Grzegorz Milos <gm281@cam.ac.uk>
* The Mini-OS build once again broke, this time since vcpu_data became vcpu_infokaf24@firebug.cl.cam.ac.uk2005-12-061-2/+2
| | | | | | | | | and that XEN_VER in the __xen_guest section changed slightly. I've modified the mini-os so that it at least compiles and boots again. Signed-off-by: Simon Kagstrom <simon.kagstrom@bth.se>
* 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
| | | | | | | | | | | | Many files: Fix the minos license so that it is usable for XP and BSD ports. minios.lds: Rename: extras/mini-os/vmlinux.lds -> extras/mini-os/minios.lds .del-list.h~d612a8726e8d42e: Delete: extras/mini-os/h/list.h .del-COPYING~1f9753354580bd13: Delete: extras/mini-os/COPYING
* bitkeeper revision 1.490 (3f831e5fpXnszWjg8lV_9law4lUnbg)kaf24@scramble.cl.cam.ac.uk2003-10-071-0/+14
| | | | | | | | COPYING: new file mm.c, hypervisor.c: Clearly GPL the mini-os.
* bitkeeper revision 1.483 (3f81a3e2iM-0WXaGxUS3ywM3_KZqLw)iap10@labyrinth.cl.cam.ac.uk2003-10-061-0/+83
move mini-os to extras directory
generated by cgit v1.2.3 (git 2.25.1) at 2024-05-19 08:42:25 +0000