diff options
| -rw-r--r-- | extras/mini-os/domain_config | 2 | ||||
| -rw-r--r-- | extras/mini-os/minios.mk | 1 |
2 files changed, 2 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 diff --git a/extras/mini-os/minios.mk b/extras/mini-os/minios.mk index 5f63e61427..5f81bb7d77 100644 --- a/extras/mini-os/minios.mk +++ b/extras/mini-os/minios.mk @@ -7,6 +7,7 @@ debug = y # Define some default flags. # NB. '-Wcast-qual' is nasty, so I omitted it. DEF_CFLAGS := -fno-builtin -Wall -Werror -Wredundant-decls -Wno-format +DEF_CFLAGS += $(call cc-option,$(CC),-fno-stack-protector,) DEF_CFLAGS += -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline DEF_CFLAGS += -D__XEN_INTERFACE_VERSION__=$(XEN_INTERFACE_VERSION) |