We are eager and willing to switch from "planning" to "alpha" stage. Some of the things that are presently in the kernel are preliminar, but some are stable. Even if we want to improve all components, we know we will not until we get to a more complete system, using which the necessity to improve such components arises.
For this reason, efforts will take place in the near future to take the project to a point where we can claim alpha stage. To do so, we need to implement interprocess communication (IPC). A preliminary, simple-minded implementation will do, for now; either way, it'll call for synchronization mechanisms like mutexes, some sort of scheduler, etc.
We feel that once IPC is developed (although in a silly way), the functionalities of the microkernel are complete, and we can therefore concentrate on services (filesystem, memory, swap, gui, POSIX compatibility, OCAML server etc.). IPC is however a delicate component, so any suggesion is welcome. We also know that being elf-compatible, a POSIX compatibility service would enable us to import several components from POSIX-compliant OS'es, which means dramatic improvements in the speed of development.
Therefore, we're tackling IPC, after which we'll be "alpha": help welcome!