- * DevLib -- A portable runtime library and microkernel for small embedded systems
- * GeekiGeeki -- The experimental Git-powered wiki engine
+ * [[BeRtos]] -- A microkernel for small embedded systems
+ * GeekiGeeki -- The tiny, Git-powered wiki engine