Funk is a project of writing a kernel in OCaml. It could then be used as an educational tool for teaching OS design, for instance, or may be just replace Linux before Hurd goes out.
It uses the power of a high-level programming language, with GC, static type checking, polymorphisms and other features, to abstract the OS designer from low-level problems that can arise when using C.
The project currently includes a running monolithic kernel, with some drivers and a console, a dummy-libc that is used for linking, and is in the process of being completely rewritten to have a nice micro-kernel architecture.

Registration Date: Thu 15 Sep 2005 10:42:23 PM UTC
License: GNU General Public License V2 or later
Development Status: 1 - Planning