ehmry/genode
ehmry/genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
06f155a644
genode/base-nova
History
Christian Prochaska 4b1f182e61 Unlock guarded lock before sending IPC error reply 
Sending a reply message does not return, so the guarded lock needs to get
unlocked manually.

This patch fixes #117.
2012-02-15 09:26:21 +01: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 Bump year in copyright headers to 2012 2012-01-03 15:35:05 +01:00
lib/mk Remove stale test_env lib from base-nova 2012-01-25 16:08:32 +01:00
mk Imported Genode release 11.11 2011-12-22 16:19:25 +01:00
patches Imported Genode release 11.11 2011-12-22 16:19:25 +01:00
run Imported Genode release 11.11 2011-12-22 16:19:25 +01:00
src Unlock guarded lock before sending IPC error reply 2012-02-15 09:26:21 +01:00
Makefile Imported Genode release 11.11 2011-12-22 16:19:25 +01: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':