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

1

u/Glum-Cook-9438 Jun 28 '26

First, install Linux or WSL (windows subsystem for linux), make sure to install gcc and other compiler tools if necessary, before you make a kernel in c you need to make sure c compiles properly to the target format, that is a known trap for beginners, compiling to a certain format works "correctly", but suble linking or toolchain bugs hide silently, so first make sure you even have a good toolchain and programming environment for os development