This page has moved: http://www.kernel.org/pub/linux/kernel/people/geoff/petitboot/petitboot.html