17 Jun
2013
17 Jun
'13
12:09 p.m.
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/>