Edit page BeRtos
[wiki.git] / FrontPage
index 5ee8e35cd64c14af4d8c95d6e3b7bf2e4d1356e4..a7d74892a34e47438806fd64fb7b0e875486eff8 100644 (file)
--- a/FrontPage
+++ b/FrontPage
@@ -8,15 +8,12 @@
 === Projects ===
 
  * OneLaptopPerChild -- Working as a CodeMonkey to subvert the world!
- * DevLib -- A portable runtime library and microkernel for small embedded systems
+ * [[BeRTOS]] -- A microkernel for small embedded systems
  * GeekiGeeki -- The experimental Git-powered wiki engine
- * ShellScripts -- Handy utilities to enhance your shell environment
  * ???
  * WorldDomination!
 
- * Assorted patches: http://www.develer.com/patches/
- * Random temporary junk: http://www.codewiz.org/pub/
- * Old OpenSource projects: http://www.codewiz.org/projects/
+ * OldProjects
 
  * ToDo: My personal todo list
  * MeMo: My personal agenda