diff --git a/repos/base-nova/ports/nova.hash b/repos/base-nova/ports/nova.hash index 52be790457..7c2b184951 100644 --- a/repos/base-nova/ports/nova.hash +++ b/repos/base-nova/ports/nova.hash @@ -1 +1 @@ -3a12394d16e4cf40f93b5fdcab8798b66dcb51e0 +45d0d8368d87e015ad426e9e0f3b70dee64a0da8 diff --git a/repos/base-nova/ports/nova.port b/repos/base-nova/ports/nova.port index 7fae945147..2116d53e40 100644 --- a/repos/base-nova/ports/nova.port +++ b/repos/base-nova/ports/nova.port @@ -2,9 +2,9 @@ LICENSE := GPLv2 VERSION := git DOWNLOADS := nova.git -# r9 branch +# r9 branch - use r9_debug for more verbose kernel messages URL(nova) := https://github.com/alex-ab/NOVA.git -REV(nova) := 153d91d78655ad742a1119efa183aca32f728817 +REV(nova) := 44884114e25ff6e730489a034da3278749070931 DIR(nova) := src/kernel/nova PATCHES := $(wildcard $(REP_DIR)/patches/*.patch) diff --git a/repos/base-nova/src/kernel/target.mk b/repos/base-nova/src/kernel/target.mk index 29388ccd6f..47d84ecd65 100644 --- a/repos/base-nova/src/kernel/target.mk +++ b/repos/base-nova/src/kernel/target.mk @@ -13,7 +13,7 @@ CC_WARN = -Wall -Wextra -Waggregate-return -Wcast-align -Wcast-qual \ -Wpointer-arith -Wredundant-decls -Wshadow -Wwrite-strings \ -Wabi -Wctor-dtor-privacy -Wno-non-virtual-dtor \ -Wold-style-cast -Woverloaded-virtual -Wsign-promo \ - -Wframe-larger-than=112 -Wlogical-op -Wstrict-null-sentinel \ + -Wlogical-op -Wstrict-null-sentinel \ -Wstrict-overflow=5 -Wvolatile-register-var CC_OPT += -pipe \ -fdata-sections -fomit-frame-pointer -freg-struct-return \ @@ -21,9 +21,11 @@ CC_OPT += -pipe \ -fno-stack-protector -fvisibility-inlines-hidden \ -fno-asynchronous-unwind-tables -std=gnu++0x ifeq ($(filter-out $(SPECS),32bit),) +CC_WARN += -Wframe-larger-than=64 CC_OPT += -mpreferred-stack-boundary=2 -mregparm=3 else ifeq ($(filter-out $(SPECS),64bit),) +CC_WARN += -Wframe-larger-than=128 CC_OPT += -mpreferred-stack-boundary=4 -mcmodel=kernel -mno-red-zone else $(error Unsupported environment)