- * DevLib -- A portable runtime library and microkernel for small embedded systems
- * GeekiGeeki -- The experimental Git-powered wiki engine
- * ShellScripts -- Handy utilities to enhance your shell environment
+ * [[BeRtos]] -- A microkernel for small embedded systems
+ * GeekiGeeki -- The tiny, Git-powered wiki engine