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

trivial: spelling (sel4 -> seL4)

Browse Source 
Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
This commit is contained in:
Gerwin Klein
2023-11-04 10:38:14 +11:00
parent b67c7310af
commit 1de89ba1f2
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
manual/tools/gen_invocations.py
View File

@@ -27,7 +27,7 @@ DEFAULT_RETURN_TYPE = "int"
def init_all_types(args):
"""
Return an array of all c types involved in the sel4 interface
Return an array of all c types involved in the seL4 interface
"""
data_types = syscall_stub_gen.init_data_types(WORD_SIZE)
@@ -55,7 +55,7 @@ def generate_prototype(interface_name, method_name, method_id, inputs, outputs,
def gen_invocations(input_files, output_file, args):
"""
Given a collection of input xml files describing sel4 interfaces,
Given a collection of input xml files describing seL4 interfaces,
generates a c header file containing doxygen-commented function
prototypes.
"""