Hi, Tobias and I would like to move gummiboot from [extra] to [core]. For those who don't know, it is a very minimal boot loader for uefi systems [0], currently used on our iso. Any objections? Tom [0]: <http://freedesktop.org/wiki/Software/gummiboot/>