Ivan Velickovic

> `HAVE_SET_TRIGGER` is not a configuration option, even though the code checks it with `config_set()`. It is defined by the IRQ controller code used for the platform. Yes I just...

Right now I don't think there is actually any restriction on building an SMP kernel for a platform, even if there is only one CPU defined in the DTS. I...

> Something like `KernelArmIRQCanSetTrigger`? Yes, just not sure what the best way to go about it in the seL4 build system. One approach would be to have each platform's `config.cmake`...

> > Something like `KernelArmIRQCanSetTrigger`? > > Yes, just not sure what the best way to go about it in the seL4 build system. One approach would be to have...

> I think it's essentially whether the platform uses the GIC (either version). There should already be a config option for that in the build somewhere, so in arch/arm/config.cmake you...

One, probably easy to fix issue, that keeps coming up for me is that when I start typing into the search bar too quickly, it deletes my search input once...

> Could you please open a new issue for it? Sure thing, https://github.com/ziglang/zig/issues/21458.

It should be noted that due to there being no current documentation on the JH7110 timer, details such as the register map are taken from the JH7110 timer Linux kernel...

If someone volunteers to solve the issue, than maybe it could be included yes.

I am able to run seL4test on a RPi4 without any changes to the elfloader using the latest U-Boot, maybe older U-Boot versions did not support EFI images?