noux - linux

[buzz heavyyear]

Hi Norman,
thanks for the help.

> Note that even though the simple 'noux.run' script works on Linux, Noux
> scenarios that use fork() won't work on base-linux. Hence, for
> experimenting with Noux, I recommend to use one of the microkernels.
> 

The intention is to get this up and running on on RPi to help with dwc_otg, fiq etc., and then later with virtualising on the broadcom.
CheersNick 		 	   		  
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20131203/2d049c23/attachment.html>