aboutsummaryrefslogtreecommitdiffstats
path: root/extras/mini-os/domain_config
Commit message (Collapse)AuthorAgeFilesLines
* MiniOS: no-stack-protector added to the cflags if needed,Keir Fraser2007-10-091-1/+1
| | | | | | | and the default domain config file fixed. From: Grzegorz Milos <gm281@cam.ac.uk> Signed-off-by: Keir Fraser <keir@xensource.com>
* 64 bit pagetable builder added to mm.ckaf24@firebug.cl.cam.ac.uk2006-03-091-0/+2
| | | | | | | | Signed-off-by: Aravindh Puthiyaparambil <aravindh.puthiyaparambil@unisys.com> Signed-off-by: Grzegorz Milos <gm281@cam.ac.uk>
* Mini-os fixes from Simon Kagstrom.kaf24@firebug.cl.cam.ac.uk2005-09-021-0/+17