Edit page FrontPage
authorbernie <bernie@217.133.10.139>
Mon, 9 Jun 2008 00:43:39 +0000 (02:43 +0200)
committerGeekiGeeki <webmaster@codewiz.org>
Mon, 9 Jun 2008 00:43:39 +0000 (02:43 +0200)
FrontPage

index 053d7fe..a7d7489 100644 (file)
--- a/FrontPage
+++ b/FrontPage
@@ -8,7 +8,7 @@
 === 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
  * ???
  * WorldDomination!