OSDev.org

The Place to Start for Operating System Developers
It is currently Thu Mar 28, 2024 1:14 pm

All times are UTC - 6 hours




Post new topic Reply to topic  [ 1 post ] 
Author Message
 Post subject: Design Ideas for my Microkernel-Exokernel Hybrid
PostPosted: Thu Jun 14, 2018 11:31 am 
Offline
User avatar

Joined: Sat May 26, 2018 5:32 pm
Posts: 22
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/foxtrot-greyhound/tree/master/docs and most recent full implementation at https://gitlab.com/selfReferentialName/foxtrot-greyhound/tree/Batrson). I've written up some theory for further improvements at https://gitlab.com/selfReferentialName/MUKEX/tree/master/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
 Profile  
 
Display posts from previous:  Sort by  
Post new topic Reply to topic  [ 1 post ] 

All times are UTC - 6 hours


Who is online

Users browsing this forum: No registered users and 28 guests


You cannot post new topics in this forum
You cannot reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum
You cannot post attachments in this forum

Search for:
Jump to:  
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group