Design Ideas for my Microkernel-Exokernel Hybrid
Posted: Thu Jun 14, 2018 11:31 am
I've been working on a family of tiny kernels named fxk intended to be hybrids of microkernel and exokernel designs. I've got some experience with designing and implementing one member so far (codenamed greyhound, latest design at https://gitlab.com/selfReferentialName/ ... aster/docs and most recent full implementation at https://gitlab.com/selfReferentialName/ ... ee/Batrson). I've written up some theory for further improvements at https://gitlab.com/selfReferentialName/ ... fxk/theory. Any meaningful comments will be appreciated.