On Tue, Nov 15, 2016 at 11:44:16AM +0100, Daniel Kiper wrote: > On Tue, Nov 15, 2016 at 06:45:58AM +0300, Andrei Borzenkov wrote: > > 15.11.2016 01:13, Aaro Koskinen ??????????: > > > Hi, > > > > > > On Thu, Nov 10, 2016 at 04:53:23PM +0300, Andrei Borzenkov wrote: > > >> I do not like it, sorry. If this platform supports framebuffer we > > >> should build grub with framebuffer. If you do not (want to) use it - > > >> fine, nobody forces you to do it. But on this path we get > > >> proliferation of slightly different incompatible binaries in the wild. > > > > > > What's then the point of having --disable-grub-mkfont (or any > > > --disable/enable-* option)? > > > > > > > Non of them change boot time code. They affect only user space tools. > > User space varies greatly, some simply miss support for some features > > (like having device-mapper libraries on native Windows build). But you > > always get identical boot time code. > > Why we need identical boot time code?
Ping? Daniel _______________________________________________ Grub-devel mailing list Grub-devel@gnu.org https://lists.gnu.org/mailman/listinfo/grub-devel
