Ok, I believe I understand Christian.

I still have an issue when trying to 'make run/demo', which says that the genode-arm-g++ version 4.9.2 is required, which is in fact missing from the usr/local/genode-gcc/bin directory.

I have extracted the toolchain using the command indicated with the 'p' option, but still get this error.

Regards,

João Ramos