Imagelibrary/seL4
1
0
Fork 1
mirror of https://github.com/seL4/seL4.git synced 2026-03-27 10:29:57 +00:00
Code Issues Packages Projects Releases Wiki Activity

cmake,arm: replace DDEBUG with CONFIG_DEBUG_BUILD

Browse Source 
This was done way back in 2017: 0abc72027, but somehow
was missed from CMakeLists.txt and hyp_traps.S files.

Signed-off-by: Julia Vassiliki <julia.vassiliki@unsw.edu.au>
This commit is contained in:
Julia Vassiliki
2025-03-24 17:02:05 +11:00
committed by Kent McLeod
parent 119338b48b
commit a478be32d5
2 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
CMakeLists.txt
View File

@@ -248,7 +248,7 @@ if(KernelFWholeProgram)
endif()
if(KernelDebugBuild)
KernelCommonFlags(-DDEBUG -g -ggdb)
KernelCommonFlags(-g -ggdb)
# Pretend to CMake that we're a release build with debug info. This is because
# we do actually allow CMake to do the final link step, so we'd like it not to
# strip our binary

6
src/arch/arm/32/hyp_traps.S
View File

@@ -177,7 +177,7 @@ END_FUNC(arm_syscall)
*********************************/
BEGIN_FUNC(arm_hyp_prefetch_abort_exception)
#ifdef DEBUG
#ifdef CONFIG_DEBUG_BUILD
mrc p15, 4, sp, c13, c0, 2
mrs r0, elr_hyp
blx kernelPrefetchAbort
@@ -188,7 +188,7 @@ BEGIN_FUNC(arm_hyp_prefetch_abort_exception)
END_FUNC(arm_hyp_prefetch_abort_exception)
BEGIN_FUNC(arm_hyp_data_abort_exception)
#ifdef DEBUG
#ifdef CONFIG_DEBUG_BUILD
mrc p15, 4, sp, c13, c0, 2
mrs r0, elr_hyp
blx kernelDataAbort
@@ -199,7 +199,7 @@ BEGIN_FUNC(arm_hyp_data_abort_exception)
END_FUNC(arm_hyp_data_abort_exception)
BEGIN_FUNC(arm_hyp_undefined_inst_exception)
#ifdef DEBUG
#ifdef CONFIG_DEBUG_BUILD
mrc p15, 4, sp, c13, c0, 2
mrs r0, elr_hyp
blx kernelUndefinedInstruction