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

python: cleanup devices_gen.h template

Browse Source 
Signed-off-by: Axel Heider <axelheider@gmx.de>
This commit is contained in:
Axel Heider
2021-11-09 09:15:32 +01:00
committed by Gerwin Klein
parent bac15924ad
commit d31019ff0a
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
tools/hardware/outputs/c_header.py
View File

@@ -52,7 +52,6 @@ HEADER_TEMPLATE = '''/*
{% if irq.has_enable() %}
{{ irq.get_enable_endif() }}
{% endif %}
{% endfor -%}
/* KERNEL DEVICES */
@@ -88,6 +87,7 @@ static const kernel_frame_t BOOT_RODATA kernel_device_frames[] = {
{% endif %}
{% endfor %}
};
/* Elements in kernel_device_frames may be enabled in specific configurations
* only, but the ARRAY_SIZE() macro will automatically take care of this.
* However, one corner case remains unsolved where all elements are disabled