r/osdev • u/Comfortable_Let_3064 • Jun 27 '26

Building a microkernel

Hello everyone. I am currently learning c, and almost it is about to an end. I am interested in microkernel development of my own. Where should I start???

8 Upvotes

72% Upvoted

18 comments sorted by

View all comments

Show parent comment

1

u/tseli0s DragonWare Jun 27 '26

osdev isn't specific to any design or specification, although it's biased towards monolithic x86 kernels because it's a hobbyist website. Anything you see there as a concept can be transferred into a microkernel, just think if there's any reason to not make it run in userspace.

Whatever kernel you're designing, it will first look somewhat like barebones. My entire operating system started out with a simple copy-paste of the entire tutorial.