diff options
Diffstat (limited to 'extras/mini-os/Makefile')
| -rw-r--r-- | extras/mini-os/Makefile | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/extras/mini-os/Makefile b/extras/mini-os/Makefile index 56eb4ff1df..63cd9e8079 100644 --- a/extras/mini-os/Makefile +++ b/extras/mini-os/Makefile @@ -1,4 +1,5 @@ debug ?= y +pae ?= n include $(CURDIR)/../../Config.mk @@ -19,6 +20,11 @@ CFLAGS += -m32 -march=i686 LDFLAGS += -m elf_i386 endif +ifeq ($(TARGET_ARCH)$(pae),x86_32y) +CFLAGS += -DCONFIG_X86_PAE=1 +ASFLAGS += -DCONFIG_X86_PAE=1 +endif + ifeq ($(TARGET_ARCH),x86_64) CFLAGS += -m64 -mno-red-zone -fpic -fno-reorder-blocks CFLAGS += -fno-asynchronous-unwind-tables |