Also, are there any opportunities to make this kernel significantly faster than Linux’s?
A more concrete mid-term goal is for it to be 'self-hosting'. By that I mean you could edit the code, download dependencies and compile the kernel from within Moss.
Would something like Smoltcp be of help here? https://github.com/smoltcp-rs/smoltcp
Great project either way!
How do you decide which sys calls to work on? Is is based on what the user space binaries demand?
Yeah, I was thinking of integrating that at some point. They've done a really nice job of keeping it no_std-friendly.