Hello Zippy, On 2024-11-20 16:06, Zippy Manaic via Devel wrote:
Does anybody have any ideas about this? I have been running my hacky fix without any issues but I'm wondering if there may be a better solution out there.
For some reason I didn't receive your previous mail. In case that's true for others, Zippy's original message can be found at: https://lists.sel4.systems/hyperkitty/list/devel@sel4.systems/thread/AA7ZI5K... It's a problem in some CAmkES script, it seems it expects interrupt properties at a specific level or something, anything deeper gets weirdly renamed. I have no CAmkES experience, so I'm not much help. You can do your fixups in your own overlay file and apply it with KernelCustomDTSOverlay, instead of editing the original DTS file. An alternative to CAmkES is Microkit, but it depends on your use case what's better. Greetings, Indan