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