Sign Up to our social questions and Answers Engine to ask questions, answer people’s questions, and connect with other people.
Login to our social questions & Answers Engine to ask questions answer people’s questions & connect with other people.
Lost your password? Please enter your email address. You will receive a link and will create a new password via email.
Please briefly explain why you feel this question should be reported.
Please briefly explain why you feel this answer should be reported.
Please briefly explain why you feel this user should be reported.
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.
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!
Minix is another that many prefer! Though its not that small but its quite popular in education circles!
FemtoOS might also interest you!
TinyOS also serves a similar purpose!
Most of what I’ve listed come from the embedded world. Because thats where size and simplicity matter!