denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 20:42:56 +01:00
Code Issues Packages Projects Releases Wiki Activity
Files
94067cf79908cce93a45684d6bb3e49d3fd8d48d
genode/base-nova/run
History
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