genode/base-nova/run
Norman Feske fb3933faf3 nova: use bender by default
Bender fixes the serial output on modern PC hardware. Prior this patch,
it was used only when combined with pulsar. Now, we also use it when
booting via GRUB.
2013-02-25 22:14:22 +01:00
..
env nova: use bender by default 2013-02-25 22:14:22 +01:00