Edit page June2008Blog

[wiki.git] / FrontPage

diff --git a/FrontPage b/FrontPage
index 25f89e7d1ea2865691e82be0b9d2b6d327051e60..87caa4684a39f89420e5c2ea639f72a0e7104c6c 100644 (file)
--- a/FrontPage
+++ b/FrontPage
@@ -1,30 +1,27 @@
 #acl bernie:read,write All:read
 
-<div style="float: right">BernieMangaColorAlpha.png</div>
+== 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>
 
-== Projects ==
+=== Projects ===
 
  * OneLaptopPerChild -- Working as a CodeMonkey to subvert the world!
+ * [[BeRtos]] -- A microkernel for small embedded systems
  * GeekiGeeki -- The experimental Git-powered wiki engine
- * ShellScripts -- Handy utilities to enhance your shell environment
- * DevLib - A portable runtime library and microkernel for small embedded systems
  * ???
  * 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
 
-== 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
@@ -35,7 +32,7 @@ This place is BernardoInnocenti's home page.
  * 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.