ia64/xen-unstable

changeset 16083:dcab07f0776d

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>
author Keir Fraser <keir@xensource.com>
date Tue Oct 09 16:06:50 2007 +0100 (2007-10-09)
parents a18dbd4a96e6
children 56f158c8644b
files extras/mini-os/domain_config extras/mini-os/minios.mk
line diff
     1.1 --- a/extras/mini-os/domain_config	Tue Oct 09 16:05:43 2007 +0100
     1.2 +++ b/extras/mini-os/domain_config	Tue Oct 09 16:06:50 2007 +0100
     1.3 @@ -8,7 +8,7 @@
     1.4  
     1.5  #----------------------------------------------------------------------------
     1.6  # Kernel image file.
     1.7 -kernel = "mini-os.elf"
     1.8 +kernel = "mini-os.gz"
     1.9  
    1.10  # Initial memory allocation (in megabytes) for the new domain.
    1.11  memory = 32
     2.1 --- a/extras/mini-os/minios.mk	Tue Oct 09 16:05:43 2007 +0100
     2.2 +++ b/extras/mini-os/minios.mk	Tue Oct 09 16:06:50 2007 +0100
     2.3 @@ -7,6 +7,7 @@ debug = y
     2.4  # Define some default flags.
     2.5  # NB. '-Wcast-qual' is nasty, so I omitted it.
     2.6  DEF_CFLAGS := -fno-builtin -Wall -Werror -Wredundant-decls -Wno-format
     2.7 +DEF_CFLAGS += $(call cc-option,$(CC),-fno-stack-protector,)
     2.8  DEF_CFLAGS += -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline
     2.9  DEF_CFLAGS += -D__XEN_INTERFACE_VERSION__=$(XEN_INTERFACE_VERSION)
    2.10