Edit page June2008Blog
[wiki.git] / FrontPage
index a7d74892a34e47438806fd64fb7b0e875486eff8..87caa4684a39f89420e5c2ea639f72a0e7104c6c 100644 (file)
--- a/FrontPage
+++ b/FrontPage
@@ -1,6 +1,6 @@
 #acl bernie:read,write All:read
 
-== Bernardo Innocenti's home page ==
+== Bernardo "Bernie" Innocenti's home page ==
 
 <div style="float: right">BernieMangaColorAlpha.png</div>
 <div style="font-size: 18px; text-align: right">**Live long and prosper!**</div>
@@ -8,7 +8,7 @@
 === Projects ===
 
  * OneLaptopPerChild -- Working as a CodeMonkey to subvert the world!
- * [[BeRTOS]] -- A microkernel for small embedded systems
+ * [[BeRtos]] -- A microkernel for small embedded systems
  * GeekiGeeki -- The experimental Git-powered wiki engine
  * ???
  * WorldDomination!