Axel Heider

For example `ARMVIRT_debug_DOM_clang_64` at https://github.com/seL4/seL4/actions/runs/6785175754/job/18442892398?pr=824

Yes, the test pass. I saw this just by chance in one run and then found it in more places also. I've clarified the log except above to say that...

Note that running the CMake command line needs https://github.com/seL4/sel4test/pull/117 also.

I agree the QEMU DTB extraction is a bit messy still, but that is the best we have at the moment. I can improve the comment in the CMake file...

So, if there is no maintainer for this to fix it, deleting might be the best option?

Thanks for checking. So given Nick's project is not using this script, does it have any test coverage anywhere? Does Nick's project produce something similar that might be the preferred...

With the current script for `seL4_TCB_SetAffinity` the `condition` parameter can be ``` (!defined(CONFIG_KERNEL_MCS) && defined(CONFIG_ENABLE_SMP_SUPPORT)) ``` and this generates ``` #[cfg(not(feature = "CONFIG_KERNEL_MCS && CONFIG_ENABLE_SMP_SUPPORT"))] ``` where this should be...

Also, from CMake we get `CONFIG_ENABLE_SMP_SUPPORT` and in the C-Headers we add the helper `ENABLE_SMP_SUPPORT`. But the script translated `CONFIG_MAX_NUM_NODES > 1` to `feature = "CONFIG_SMP_SUPPORT"`, which makes we wonder...

Masking and disabling are different things. When you disable an interrupt in the PLIC, any interrupts from that source will be ignored - so interrupts are lost effectively. If you...

Since this PR has multiple commits that seem independent, but have dependencies on other PRs, could you split this up that we can merge things independently and avoid unnecessary blocking?