The Ubuntu Customization Kit allows you to roll your own preconfigured Ubuntu install CD/DVD. Why they made it this easy to use I have no idea, but I like it.
This will probably make future projects a bit easier, and would be handy for other robot developer to use for their robots. Developers can also take advantage of Ubuntus PPA program to manage their software distribution.
seL4 Secure Micro kernel
5 hours ago