aboutsummaryrefslogtreecommitdiffstats
path: root/extras/mini-os/include/types.h
Commit message (Expand)AuthorAgeFilesLines
* tools: drop ia64 supportIan Campbell2012-09-121-3/+3
* minios: switch to C99 integer typesKeir Fraser2009-07-151-23/+16
* stubdom: Fixes for gcc 4.2.4 32bitKeir Fraser2008-07-101-1/+0
* stubdom: use host's gccKeir Fraser2008-07-041-2/+7
* i386: Remove non-PAE hypervisor build target.Keir Fraser2008-05-081-5/+1
* minios: POSIX fixesKeir Fraser2008-01-221-4/+15
* minios: Fix x86_32 compilationKeir Fraser2008-01-221-1/+1
* minios: support COW for a zero pageKeir Fraser2008-01-181-0/+7
* Add FS backend/frontend drivers (frontend in minios only).Keir Fraser2008-01-181-0/+3
* [MINIOS] A first step to re-architecture mini-os for a port to ia64.kfraser@localhost.localdomain2006-08-101-2/+2
* [MINIOS] PAE support.kaf24@firebug.cl.cam.ac.uk2006-05-191-1/+6
* Change Mini-OS so that it uses stddef.h to define size_t andkaf24@firebug.cl.cam.ac.uk2006-05-041-2/+0
* I've created a patch to get the mini-os to compile in Xen-unstable. The patchkaf24@firebug.cl.cam.ac.uk2005-10-271-1/+8
* Xenbus implementation ported from Linux to Mini-os, simple thread support int...kaf24@firebug.cl.cam.ac.uk2005-09-091-0/+8
* The patch removes broken, and very complicated malloc inkaf24@firebug.cl.cam.ac.uk2005-08-261-0/+2
* Mini-os updates from Grzegorz Milos.kaf24@firebug.cl.cam.ac.uk2005-07-061-0/+52