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/[email protected]/thread/AA7ZI5KDFLQAJXFZDYVXIYKLICNW7EQO/
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
_______________________________________________
Devel mailing list -- [email protected]
To unsubscribe send an email to [email protected]
