Me gustaría aprender más acerca de osdev. Así que pensé en aprender de otros kernels pequeños para mejorar en osdev. ¿Hay algún kernel bueno para aprender osdev? Por supuesto, debe ser GPL para que pueda tener acceso al código fuente y tener la libertad de modificarlo.¿Hay algún kernel pequeño lo suficientemente bueno para aprender osdev?
FreeRTOS es tan pequeño como se puede conseguir. ¡La imagen del kernel es solo 4K-9K! Es un RTOS pero te dará una buena idea acerca de los sistemas operativos en general también.
Minix es otro que muchos prefieren! Aunque no es tan pequeño, ¡es bastante popular en los círculos educativos!
FemtoOS te puede interesar también!
TinyOS ¡también sirve para un propósito similar!
La mayor parte de lo que he enumerado proviene del mundo integrado. ¡Porque es donde importan el tamaño y la simplicidad!
http://www.stanford.edu/class/cs140/projects/pintos/pintos.html
pintos es otra adición a lo anterior. El marco y la implementación muy simples son extremadamente simples de entender. Utilizado popularmente para introducir a los estudiantes al diseño e implementación del sistema operativo.
No es un núcleo como tal, sino un tutorial para escribir su propia, por lo que tal vez usted lo encontrará útil: