RTOS/seL4
1
0
Fork 0
forked from Imagelibrary/seL4
Code Pull Requests Activity

python: include sel4/config.h and not autoconf.h

Browse Source 
Include sel4/config.h instead of autoconf.h in the generated code.

Signed-off-by: Axel Heider <axelheider@gmx.de>
This commit is contained in:
Axel Heider
2022-01-09 01:11:13 +01:00
committed by Kent McLeod
parent 55dc30b4a6
commit 8eec7ad207
3 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
libsel4/tools/syscall_stub_gen.py
View File

@@ -78,7 +78,7 @@ MAX_MESSAGE_LENGTH = 64
# Headers to include
INCLUDES = [
'autoconf.h', 'sel4/types.h'
'sel4/config.h', 'sel4/types.h'
]
TYPES = {

2
tools/bitfield_gen.py
View File

@@ -56,7 +56,7 @@ def var_name(name, base):
# Headers to include depending on which environment we are generating code for.
INCLUDES = {
'sel4': ['assert.h', 'config.h', 'stdint.h', 'util.h'],
'libsel4': ['autoconf.h', 'sel4/simple_types.h', 'sel4/debug_assert.h'],
'libsel4': ['sel4/config.h', 'sel4/simple_types.h', 'sel4/debug_assert.h'],
}
ASSERTS = {

2
tools/syscall_header_gen.py
View File

@@ -96,7 +96,7 @@ LIBSEL4_HEADER_TEMPLATE = """/*
""" + COMMON_HEADER + """
#pragma once
#include <autoconf.h>
#include <sel4/config.h>
typedef enum {
{%- for condition, list in enum %}