Edit page BeRtos
[wiki.git] / FrontPage
index db7707985d3a5e4240c28558718ef1091817c05d..a7d74892a34e47438806fd64fb7b0e875486eff8 100644 (file)
--- a/FrontPage
+++ b/FrontPage
@@ -1,30 +1,27 @@
 #acl bernie:read,write All:read
 
 #acl bernie:read,write All:read
 
-<div style="float: right">BernieMangaColorAlpha.png</div>
+== Bernardo Innocenti's home page ==
 
 
+<div style="float: right">BernieMangaColorAlpha.png</div>
 <div style="font-size: 18px; text-align: right">**Live long and prosper!**</div>
 
 <div style="font-size: 18px; text-align: right">**Live long and prosper!**</div>
 
-== Projects ==
+=== Projects ===
 
  * OneLaptopPerChild -- Working as a CodeMonkey to subvert the world!
 
  * OneLaptopPerChild -- Working as a CodeMonkey to subvert the world!
+ * [[BeRTOS]] -- A microkernel for small embedded systems
  * GeekiGeeki -- The experimental Git-powered wiki engine
  * GeekiGeeki -- The experimental Git-powered wiki engine
- * ShellScripts -- A dumb script to update your dynamic DNS
- * DevLib - A portable runtime library and microkernel for small embedded systems
  * ???
  * WorldDomination!
 
  * ???
  * 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
 
 
  * ToDo: My personal todo list
  * MeMo: My personal agenda
 
-== About Me ==
-
-This place is BernardoInnocenti's home page.
+=== About Me ===
 
 
- * ContactInformation
+ * BernardoInnocenti -- My picture
+ * ContactInformation -- No spam please
  * BrainDump -- My personal blog. You don't care. Really.
 
  * AbridgedResume -- For the impatient
  * BrainDump -- My personal blog. You don't care. Really.
 
  * AbridgedResume -- For the impatient
@@ -35,7 +32,7 @@ This place is BernardoInnocenti's home page.
  * TrueHeroes who delivered important ideas
 
 
  * TrueHeroes who delivered important ideas
 
 
-== About This Wiki ==
+=== About This Wiki ===
 
 You're invited to edit these pages! Make practice in the WikiSandBox.
 You may want to read the EditingTips to get started.
 
 You're invited to edit these pages! Make practice in the WikiSandBox.
 You may want to read the EditingTips to get started.