ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-05-11 13:03:11 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

nova: update kernel branch to avoid tlb issues

Browse Source 
Following page fault sympton in core gets fixed:

PAGE-FAULT IN CORE (WRITE pf_addr=1000000 pf_ip=14361c from 00 <NULL>)

stack pointer 0xa01fec30, qualifiers 0x6 irUWp

faulter utcb a01ff000, last message item count 1

0 - type=1 rights=0x3 region=0x1000000+0x1000000 hotspot 0(801) - delegated

   1 a01fec30 0014361c
   2 a01fec68 001401d5
This commit is contained in:
Alexander Boettcher 2015-10-15 17:07:23 +02:00 committed by Christian Helmuth
parent d6bae1a9a3
commit ffbbf69959
3 changed files with 6 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
repos/base-nova/ports/nova.hash
View File

@ -1 +1 @@
3a12394d16e4cf40f93b5fdcab8798b66dcb51e0 45d0d8368d87e015ad426e9e0f3b70dee64a0da8

4
repos/base-nova/ports/nova.port
View File

@ -2,9 +2,9 @@ LICENSE := GPLv2
VERSION := git VERSION := git
DOWNLOADS := nova.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 URL(nova) := https://github.com/alex-ab/NOVA.git
REV(nova) := 153d91d78655ad742a1119efa183aca32f728817 REV(nova) := 44884114e25ff6e730489a034da3278749070931
DIR(nova) := src/kernel/nova DIR(nova) := src/kernel/nova
PATCHES := $(wildcard $(REP_DIR)/patches/*.patch) PATCHES := $(wildcard $(REP_DIR)/patches/*.patch)

4
repos/base-nova/src/kernel/target.mk
View File

@ -13,7 +13,7 @@ CC_WARN = -Wall -Wextra -Waggregate-return -Wcast-align -Wcast-qual \
-Wpointer-arith -Wredundant-decls -Wshadow -Wwrite-strings \ -Wpointer-arith -Wredundant-decls -Wshadow -Wwrite-strings \
-Wabi -Wctor-dtor-privacy -Wno-non-virtual-dtor \ -Wabi -Wctor-dtor-privacy -Wno-non-virtual-dtor \
-Wold-style-cast -Woverloaded-virtual -Wsign-promo \ -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 -Wstrict-overflow=5 -Wvolatile-register-var
CC_OPT += -pipe \ CC_OPT += -pipe \
-fdata-sections -fomit-frame-pointer -freg-struct-return \ -fdata-sections -fomit-frame-pointer -freg-struct-return \
@ -21,9 +21,11 @@ CC_OPT += -pipe \
-fno-stack-protector -fvisibility-inlines-hidden \ -fno-stack-protector -fvisibility-inlines-hidden \
-fno-asynchronous-unwind-tables -std=gnu++0x -fno-asynchronous-unwind-tables -std=gnu++0x
ifeq ($(filter-out $(SPECS),32bit),) ifeq ($(filter-out $(SPECS),32bit),)
CC_WARN += -Wframe-larger-than=64
CC_OPT += -mpreferred-stack-boundary=2 -mregparm=3 CC_OPT += -mpreferred-stack-boundary=2 -mregparm=3
else else
ifeq ($(filter-out $(SPECS),64bit),) ifeq ($(filter-out $(SPECS),64bit),)
CC_WARN += -Wframe-larger-than=128
CC_OPT += -mpreferred-stack-boundary=4 -mcmodel=kernel -mno-red-zone CC_OPT += -mpreferred-stack-boundary=4 -mcmodel=kernel -mno-red-zone
else else
$(error Unsupported environment) $(error Unsupported environment)