portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

syscall xml: only define DebugSendIPI when SMP

Browse source 
The actual libsel4 wrappers and kernel code only ever exists
when CONFIG_ENABLE_SMP_SUPPORT exists, so there's no point
also defining the syscall code as well.

Signed-off-by: Julia Vassiliki <julia.vassiliki@unsw.edu.au>
This commit is contained in:
Julia Vassiliki 2026-05-14 10:55:12 +10:00 committed by Julia
parent 82aaae6a89
commit 4ee903cf50
1 changed files with 6 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
libsel4/include/api/syscall.xml
View file

@ -50,7 +50,12 @@
<syscall name="DebugNameThread"/>
</config>
<config>
<condition><config var="CONFIG_DEBUG_BUILD"/></condition>
<condition>
<and>
<config var="CONFIG_DEBUG_BUILD"/>
<config var="CONFIG_ENABLE_SMP_SUPPORT"/>
</and>
</condition>
<syscall name="DebugSendIPI"/>
</config>
<config>