I've done some very preliminary (and bumbling) work with that at https://github.com/ldunn/kern/ https://github.com/ldunn/kern/ It's rudimentary, but it does co

I've done some very preliminary (and bumbling) work with that at https://github.com/ldunn/kern/ https://github.com/ldunn/kern/ It's rudimentary, but it does compile and it does run, and I'm not aware of any particular obstacles to a more featureful kernel.