Edit page FrontPage

diff --git a/FrontPage b/FrontPage
index 053d7fe58b46d66dbc53f84e6232254f82c3f393..a7d74892a34e47438806fd64fb7b0e875486eff8 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!