KitsuneBSD/FKernel

A small hybrid kernel for x86_64 with a freestanding, bare-metal focus. It is inspired by MINIX, seL4, Mach, the BSDs, and SerenityOS.

1 good first / help-wanted issue · C · last activity Sep 2, 2025

5 stars 0 forks 5 watchers C BSD 3-Clause "New" or "Revised" License

1 Open Issue Need Help Last updated: Sep 2, 2025

Open Issues Need Help

good first issue

A small hybrid kernel for x86_64 with a freestanding, bare-metal focus. It is inspired by MINIX, seL4, Mach, the BSDs, and SerenityOS.