I generally have the same thought, and on top of that, things that you take for granted become hard, like now you need some custom thread library if you want th

I generally have the same thought, and on top of that, things that you take for granted become hard, like now you need some custom thread library if you want threading. I love this project, but I wonder if getting behind something like feL4 might have more interesting payoffs. A really small lightweight kernel, with only the drivers and libraries you need. Running side card debuggers become easier I would think, and make them more debuggable. Redox probably fits in this category as a potential, if less stress tested, option. Then there is nebulet which by using wasm, would remove the system call expense. All of these are exciting, it makes me happy to see people continuing to play around in this area.