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.

Cheers

Nick