genode

History

Alexander Boettcher c56c9f586d NOVA: use grub instead of pxe Make pxe optional and use by default grub. For that to work we use objcopy to repack the elf64 file into elf32. With this commit more tests succeed. Most tests use 64M and with that pulsar even does not start the hypervisor. With 96M more test run however that would mean to adjust most of the run scripts ...		2012-06-22 11:38:14 +02:00
..
doc	Imported Genode release 11.11	2011-12-22 16:19:25 +01:00
etc	Imported Genode release 11.11	2011-12-22 16:19:25 +01:00
include	NOVA: Use right syscall function for ec_ctrl	2012-06-22 11:38:14 +02:00
lib/mk	Use NOVA microkernel from github, add 64bit	2012-06-20 19:44:07 +02:00
mk	Use NOVA microkernel from github, add 64bit	2012-06-20 19:44:07 +02:00
patches	Use NOVA microkernel from github, add 64bit	2012-06-20 19:44:07 +02:00
run	NOVA: use grub instead of pxe	2012-06-22 11:38:14 +02:00
src	Establish mappings during reply, #248	2012-06-20 19:44:08 +02:00
Makefile	Use NOVA microkernel from github, add 64bit	2012-06-20 19:44:07 +02:00
README	Imported Genode release 11.11	2011-12-22 16:19:25 +01:00

README

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':