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

Device-generation: Add __ASSEMBLER__ guards

Browse Source
This commit is contained in:
Kofi Doku Atuah
2019-03-20 10:36:32 +11:00
committed by Anna Lyons
parent 4895368ac5
commit 16f55f8e4b
1 changed files with 4 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
tools/hardware_gen.py
View File

@@ -772,6 +772,8 @@ HEADER_TEMPLATE = """
{%- endif %}
{%- endfor %}
#ifndef __ASSEMBLER__
static const kernel_frame_t BOOT_RODATA kernel_devices[] = {
{% for reg in kernel %}{{ reg.get_macro_string() }}
{ /* {{ ' '.join(sorted(reg.names)) }} */
@@ -808,6 +810,8 @@ static const p_region_t BOOT_RODATA dev_p_regs[] = {
{%- endfor %}
};
#endif /* !__ASSEMBLER__ */
/* INTERRUPTS */
{%- for irq in interrupts %}
{%- if irq.macro %}