ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-19 21:57:55 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

base-nova: fix page fault in init when built with gcc 12

Browse Source 
Fixes #4834
This commit is contained in:
Christian Prochaska 2023-04-28 04:12:26 +02:00 committed by Christian Helmuth
parent 920e240f67
commit c74c8d12cf
2 changed files with 10 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
repos/base-nova/lib/mk/base-nova-common.mk
View File

@ -14,3 +14,8 @@ SRC_CC += stack_area_addr.cc
SRC_CC += cap_map.cc
SRC_CC += capability.cc
SRC_CC += signal_transmitter.cc
#
# Prevent the compiler from deleting null pointer checks related to 'this == 0'
#
CC_OPT += -fno-delete-null-pointer-checks

5
repos/base-nova/lib/mk/base-nova.mk
View File

@ -4,3 +4,8 @@ LIBS += base-nova-common cxx timeout
SRC_CC += thread_start.cc
SRC_CC += cache.cc
SRC_CC += signal.cc
#
# Prevent the compiler from deleting null pointer checks related to 'this == 0'
#
CC_OPT += -fno-delete-null-pointer-checks