Krishnan Winter

Apologies, the assert that is hit is on line 283, I have corrected the issue. To clarify, when checking ksCurThread in the kernel before we hit the assert, the current...

No, sorry no update on my end. All the fixes I tried ended up breaking things elsewhere. Sorry again, I didn't see your questions at the end of your last...

I suspect that the reason why sel4bench compiles is because the irq and vcpu benchmarks (which seems like the only benchmarks that use the kernel log buffer) are turned off...

> > I suspect that the reason why sel4bench compiles is because the irq and vcpu benchmarks (which seems like the only benchmarks that use the kernel log buffer) are...

Yes, my apologies I was not aware this was added. I have just tested this and it seems to be working well