Design Ideas for my Microkernel-Exokernel Hybrid

Discussions on more advanced topics such as monolithic vs micro-kernels, transactional memory models, and paging vs segmentation should go here. Use this forum to expand and improve the wiki!
Post Reply
User avatar
K3achas
Posts: 22
Joined: Sat May 26, 2018 5:32 pm

Design Ideas for my Microkernel-Exokernel Hybrid

Post by K3achas »

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.
The maker of Foxtrot microkernels. Currently just Greyhound, which is currently smaller than 3 KiB.
Also working on osmkVII.
Top
Post Reply

Return to “OS Design & Theory”