Tilck: A Tiny Linux-Compatible Kernel
https://github.com/vvaltchev/tilck
#HackerNews #Tilck #Tiny #Linux #Kernel #OpenSource #TechNews
Tilck: A Tiny Linux-Compatible Kernel
https://github.com/vvaltchev/tilck
#HackerNews #Tilck #Tiny #Linux #Kernel #OpenSource #TechNews
@joxean tilck, seL4 or the Firefly Kernel might fit the bill?
https://github.com/vvaltchev/tilck
Tiny Linux-Compatible Kernel - Tilck
"Tilck is an educational monolithic x86 kernel designed to be Linux-compatible at binary level. Project's small-scale and simple design makes it the perfect playground for playing in kernel mode while retaining the ability to compare how the very same usermode bits run on the Linux kernel as well. That's a rare feature in the realm of educational kernels."
Ctiny linux compatible kernel: https://github.com/vvaltchev/tilck
and another hobby operating system: https://github.com/klange/toaruos
#linux #tilck #kernel #os #operating-systems #operating_systems #toaruos