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

> One issue is that while inputting ^C will kill executions that wait for IO, it won't do anything for executions that don't. Example: > > Inputting ^C will kill...

Essentially we will not get back to the micropython pyexec repl loop if we are in the case of executing an infinite loop. The repl will consume each "function" and...

> Other ports, e.g. Zephyr call mp_handle_pending This PR uses `mp_handle_pending` > There's also the MICROPY_ASYNC_KBD_INTR interrupt which uses signals: This requires the port to implement some sort of threading...

> Now the main question is whether this is sufficient, or should we use `isSchedulable()` instead to catch other corner cases too? Yep I agree, `isSchedulable()` would suit this case...

> * [ ] Use default NFS server/dir for people who don't have it setup? This point doesn't seem beneficial outside of internal TS work.