On Mon, Apr 20, 2009 at 11:51 AM, Luk Claes <luk@debian.org> wrote: > ISO images [1]. Though when trying to build images, it doesn't find the > bootinfo.txt, where should it come from? Just commited it. Wouter, should work on your machine too now :) -- Regards, Wartan.