#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>
=== 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/]]
+ * OldProjects
* ToDo: My personal todo list
* MeMo: My personal agenda