Panic loop when passing a `MemoryRegion` to `add_map`

[IkerGalardi]

System description

• Processor: ARM64
• Operating system: Debian trixie
• Zig version: 0.15.2
• sdfgen version: 0.28.1

Description

I am trying to build the microkit tutorial using this tool instead of writing the SDF directly and I have found the next panic loop:

/tmp/microkit_sdf_gen/src/c/c.zig:74:41: 0xffffac6fc65b in sdfgen_render (csdfgen)
    const rendered = sdf.render() catch @panic("Cannot convert to XML");

Using the next meta.py:

from sdfgen import SystemDescription, Sddf, DeviceTree

ProtectionDomain = SystemDescription.ProtectionDomain
MemoryRegion = SystemDescription.MemoryRegion
Map = SystemDescription.Map
Channel = SystemDescription.Channel
Arch = SystemDescription.Arch

sdf = SystemDescription(Arch.AARCH64, 0x60000000)

pl011_regs = MemoryRegion(
    sdf=sdf, name="pl011_regs", size=0x1000, physical=True, paddr="0x9000000"
)
sdf.add_mr(pl011_regs)

serial_server = ProtectionDomain("serial_server", "build/serial_server.elf")
serial_server.add_map(pl011_regs)
sdf.add_pd(serial_server)

with open("wordle.system", "w") as f:
    f.write(sdf.render())

I know I should not pass a MemoryRegion to the add_map function, but still an error should be returned instead of panic looping (cant even Ctrl+C to get out of the loop)