github/sparrow-kata-full
1
0
Fork 0
mirror of https://github.com/AmbiML/sparrow-kata-full.git synced 2025-09-09 01:08:50 +00:00
Code Issues Projects Releases Wiki Activity

Merge "handle additional condition syntax in generators"

Browse Source 
GitOrigin-RevId: f6b7f62233602191b02becd1d6873a1472b5831a
This commit is contained in:
June Tate-Gans
2022-04-13 18:19:36 +00:00
committed by Sam Leffler
parent 957f429c52
commit 306d806d4a
2 changed files with 6 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
apps/system/components/kata-os-common/src/sel4-sys/tools/invocation_header_gen.py
View File

@@ -66,6 +66,9 @@ def parse_xml(xml_file):
if condition == "(!defined CONFIG_KERNEL_MCS) && CONFIG_MAX_NUM_NODES > 1":
# NB: CONFIG_MAX_NUM_NODES > 1 =>'s CONFIG_SMP_SUPPORT
condition = 'all(not(feature = "CONFIG_KERNEL_MCS"), feature = "CONFIG_SMP_SUPPORT")'
elif condition == "!defined(CONFIG_KERNEL_MCS) && CONFIG_MAX_NUM_NODES > 1":
# NB: CONFIG_MAX_NUM_NODES > 1 =>'s CONFIG_SMP_SUPPORT
condition = 'all(not(feature = "CONFIG_KERNEL_MCS"), feature = "CONFIG_SMP_SUPPORT")'
elif condition == "CONFIG_MAX_NUM_NODES > 1":
condition = 'feature = "CONFIG_SMP_SUPPORT"'
elif condition:

3
apps/system/components/kata-os-common/src/sel4-sys/tools/syscall_stub_gen.py
View File

@@ -1017,6 +1017,9 @@ def generate_stub_file(arch, wordsize, input_files, output_file, use_only_ipc_bu
if condition == "(!defined CONFIG_KERNEL_MCS) && CONFIG_MAX_NUM_NODES > 1":
# NB: CONFIG_MAX_NUM_NODES > 1 =>'s CONFIG_SMP_SUPPORT
condition = 'all(not(feature = "CONFIG_KERNEL_MCS"), feature = "CONFIG_SMP_SUPPORT")'
elif condition == "!defined(CONFIG_KERNEL_MCS) && CONFIG_MAX_NUM_NODES > 1":
# NB: CONFIG_MAX_NUM_NODES > 1 =>'s CONFIG_SMP_SUPPORT
condition = 'all(not(feature = "CONFIG_KERNEL_MCS"), feature = "CONFIG_SMP_SUPPORT")'
elif condition == "CONFIG_MAX_NUM_NODES > 1":
condition = 'feature = "CONFIG_SMP_SUPPORT"'
elif condition: