diff options
| author | Keir Fraser <keir@xensource.com> | 2007-10-09 16:06:50 +0100 |
|---|---|---|
| committer | Keir Fraser <keir@xensource.com> | 2007-10-09 16:06:50 +0100 |
| commit | 85cb55a8869c26f8f762060159785c63e2ca1652 (patch) | |
| tree | f7e2df9e6c0e8450305908f19b163b31b9efa628 /extras/mini-os/domain_config | |
| parent | 061078be62fdb93e8c0fefa013f23f8248a962cb (diff) | |
| download | xen-85cb55a8869c26f8f762060159785c63e2ca1652.tar.gz xen-85cb55a8869c26f8f762060159785c63e2ca1652.tar.bz2 xen-85cb55a8869c26f8f762060159785c63e2ca1652.zip | |
MiniOS: no-stack-protector added to the cflags if needed,
and the default domain config file fixed.
From: Grzegorz Milos <gm281@cam.ac.uk>
Signed-off-by: Keir Fraser <keir@xensource.com>
Diffstat (limited to 'extras/mini-os/domain_config')
| -rw-r--r-- | extras/mini-os/domain_config | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/extras/mini-os/domain_config b/extras/mini-os/domain_config index 57f909ac5d..f3ec1d1c51 100644 --- a/extras/mini-os/domain_config +++ b/extras/mini-os/domain_config @@ -8,7 +8,7 @@ #---------------------------------------------------------------------------- # Kernel image file. -kernel = "mini-os.elf" +kernel = "mini-os.gz" # Initial memory allocation (in megabytes) for the new domain. memory = 32 |