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