Edit page August2008Blog
[wiki.git] / FrontPage
index aeac4d1e2b4ef4433b61cfff699b025d44e3dc44..6ffb11db9074eb7e7dd0f8045c1a33b504844d2d 100644 (file)
--- a/FrontPage
+++ b/FrontPage
@@ -1,6 +1,7 @@
 #acl bernie:read,write All:read
 
-== Bernardo Innocenti's home page ==
+== Bernie Innocenti ==
+//(aka **Bernardo Innocenti**, to help search engines find me)
 
 <div style="float: right">BernieMangaColorAlpha.png</div>
 <div style="font-size: 18px; text-align: right">**Live long and prosper!**</div>
@@ -8,19 +9,12 @@
 === 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
- * ShellScripts -- Handy utilities to enhance your shell environment
  * ???
  * WorldDomination!
 
- * Old GCC toolchain for uClinux: [[http://www.develer.com/uclinux/uclinux-tools.html]]
- * Assorted patches: [[http://www.develer.com/patches/]]
- * Random temporary junk: [[http://www.codewiz.org/pub/]]
- * Old OpenSource projects: [[http://www.codewiz.org/projects/]]
-
- * ToDo: My personal todo list
- * MeMo: My personal agenda
+ * OldProjects
 
 === About Me ===