Search code examples
kernelosdevkernel-mode

Is there any small kernel good enough for learning osdev?

I would like to learn more about osdev. So I thought about learning from other small kernels to get better at osdev. Is there any good kernel for learning osdev? Of course it needs to be GPL so I can have access to source code and have the freedom to modify it.

Solution

    1. FreeRTOS is as small as it can get. The kernel image is just 4K-9K! It is an RTOS but it will give you a fair idea about OSs in general too!

    2. Minix is another that many prefer! Though its not that small but its quite popular in education circles!

    3. FemtoOS might also interest you!

    4. TinyOS also serves a similar purpose!

    Most of what I've listed come from the embedded world. Because thats where size and simplicity matter!