genode/base-nova
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
..
doc Imported Genode release 11.11 2011-12-22 16:19:25 +01:00
etc Fix default base-nova/etc/specs.conf 2013-01-11 20:54:46 +01:00
include nova: revoke set portal id right 2013-02-25 16:45:50 +01:00
lib/mk base: make signal framework usable for base-hw 2013-02-22 20:28:28 +01:00
mk Merge base libraries into a single library 2013-02-19 14:45:55 +01:00
patches nova: kernel patch for assign_pci 2013-02-21 11:52:02 +01:00
run nova: use bender by default 2013-02-25 22:14:22 +01:00
src nova: fix boot modules and command line bootstrap 2013-02-25 22:14:21 +01:00
Makefile nova: update kernel revision to r2 2013-02-25 16:45:50 +01:00
README Imported Genode release 11.11 2011-12-22 16:19:25 +01:00

This repository contains the port of Genode to the NOVA microhypervisor.

For more information on this base platform, please refer to the official
website.

:[http://hypervisor.org]: Official website for the NOVA microhypervisor.

For information on using Genode on NOVA, please revisit the documentation at
'base-nova/doc/nova.txt':