official usermode thread support in LKL #250
Description
I am working on adding user level threads support (for the idle and various kernel threads) to see if we can boost the performance further and also make it easier for other thread-less environments (like UEFI) but I didn't get a chance to merge it with the "host tasks" patches. Once I do that, we should run into the same issue you do and be able to help.
I thought I'd open a new issue for that to not bloat the direct host call PR.
@tavip how does your solution work? Did you write your own threading library or did you find a good one which you can use in lkl?
I'd also be happy to help improving/testing your code