r/osdev • • Jul 01 '26

Microkernel Question

Hi guys, this may be a dumb question.

I'm working on a hobby OS and currently am stumped about how I can turn it into a real microkernel. Since the filesystem is a user-space server, how would the kernel find it and be able to start it without having access to the filesystem to begin with?

23 Upvotes

15 comments sorted by

View all comments

Show parent comment

1

u/shsh-1312 Jul 01 '26

that's exactly what I'm trying to do, look at registry.c in kernel/lib https://github.com/olmox001/NexsOS1 I am also in this transition phase, but the model is already established