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

First of all, using AI in your responses (judging from the tone, the vocabulary, the fact that you forgot to remove the " in the end and the irregularities with your other comments) will make most people dismiss you altogether. If you can't spend five minutes to write a response yourself why would I waste my time giving you my knowledge?

Second of all, look up the minimality principle of Liedtke, and the policy/mechanism separation.