@osnews@mstdn.social Linux-compatible kernel? Don't you mean GNU-compatible kernel?
Conversation
Notices
-
Embed this notice
SuperDicq (superdicq@minidisc.tokyo)'s status on Thursday, 17-Jul-2025 21:59:27 JST SuperDicq
-
Embed this notice
OSNews (osnews@mstdn.social)'s status on Thursday, 17-Jul-2025 21:59:29 JST OSNews
Tilck: a tiny Linux-compatible kernel
Tilck is an educational monolithic kernel designed to be Linux-compatible at binary level. It runs on i686 and RISCV64 at the moment. 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
https://www.osnews.com/story/142830/tilck-a-tiny-linux-compatible-kernel/
-
Embed this notice