Hi Genode Community,
I started using the Freescale i.MX53 QSB and was trying to run the Genode demo, following all the steps given in the 'getting_started.txt'. When I did the 'make run/demo' command I received this output: "/bin/bash: /usr/local/genode-gcc/bin/genode-arm-g++: cannot execute binary filedirname: missing operandTry `dirname --help' for more information.including /home/lucid/Desktop/genode-15.08/tool/run/boot_dir/linuxincluding /home/lucid/Desktop/genode-15.08/tool/run/power_on/linuxincluding /home/lucid/Desktop/genode-15.08/tool/run/log/linuxincluding /home/lucid/Desktop/genode-15.08/repos/os/run/demo.runbuilding targets: core init drivers/timer server/nitpicker app/pointer app/status_bar server/liquid_framebuffer app/launchpad app/scout test/nitpicker server/nitlog drivers/framebuffer drivers/input server/report_rom spawn make core init drivers/timer server/nitpicker app/pointer app/status_bar server/liquid_framebuffer app/launchpad app/scout test/nitpicker server/nitlog drivers/framebuffer drivers/input server/report_rom/bin/bash: /usr/local/genode-gcc/bin/genode-arm-g++: cannot execute binary filemake[1]: Entering directory `/home/lucid/Desktop/genode-15.08/build.lx'Makefile:107: *** "/usr/local/genode-gcc/bin/genode-arm-g++ version 4.9.2 is required". Stop.make[1]: Leaving directory `/home/lucid/Desktop/genode-15.08/build.lx'Error: Genode build failedmake: *** [run/demo] Error 252"
What am I missing?
Best Regards,João Ramos
It sounds like you need to update to the latest version of the Genode toolchain. On Sep 9, 2015 9:20 AM, "João Rocheteau Ramos" <rostou_di_mighty@...350......> wrote:
Hi Genode Community,
I started using the Freescale i.MX53 QSB and was trying to run the Genode demo, following all the steps given in the 'getting_started.txt'.
When I did the 'make run/demo' command I received this output:
" /bin/bash: /usr/local/genode-gcc/bin/genode-arm-g++: cannot execute binary file dirname: missing operand Try `dirname --help' for more information. including /home/lucid/Desktop/genode-15.08/tool/run/boot_dir/linux including /home/lucid/Desktop/genode-15.08/tool/run/power_on/linux including /home/lucid/Desktop/genode-15.08/tool/run/log/linux including /home/lucid/Desktop/genode-15.08/repos/os/run/demo.run building targets: core init drivers/timer server/nitpicker app/pointer app/status_bar server/liquid_framebuffer app/launchpad app/scout test/nitpicker server/nitlog drivers/framebuffer drivers/input server/report_rom
spawn make core init drivers/timer server/nitpicker app/pointer app/status_bar server/liquid_framebuffer app/launchpad app/scout test/nitpicker server/nitlog drivers/framebuffer drivers/input server/report_rom /bin/bash: /usr/local/genode-gcc/bin/genode-arm-g++: cannot execute binary file make[1]: Entering directory `/home/lucid/Desktop/genode-15.08/build.lx' Makefile:107: *** "/usr/local/genode-gcc/bin/genode-arm-g++ version 4.9.2 is required". Stop. make[1]: Leaving directory `/home/lucid/Desktop/genode-15.08/build.lx' Error: Genode build failed make: *** [run/demo] Error 252 "
What am I missing?
Best Regards, João Ramos
Monitor Your Dynamic Infrastructure at Any Scale With Datadog! Get real-time metrics from all of your servers, apps and tools in one place. SourceForge users - Click here to start your Free Trial of Datadog now! http://pubads.g.doubleclick.net/gampad/clk?id=241902991&iu=/4140 _______________________________________________ genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
I'm using Genode-15.08 already
Date: Wed, 9 Sep 2015 21:48:28 +0000 Subject: Re: Problem running the demo From: hungryninja101@...9... To: genode-main@lists.sourceforge.net
It sounds like you need to update to the latest version of the Genode toolchain. On Sep 9, 2015 9:20 AM, "João Rocheteau Ramos" <rostou_di_mighty@...16...> wrote:
Hi Genode Community,
I started using the Freescale i.MX53 QSB and was trying to run the Genode demo, following all the steps given in the 'getting_started.txt'. When I did the 'make run/demo' command I received this output: "/bin/bash: /usr/local/genode-gcc/bin/genode-arm-g++: cannot execute binary filedirname: missing operandTry `dirname --help' for more information.including /home/lucid/Desktop/genode-15.08/tool/run/boot_dir/linuxincluding /home/lucid/Desktop/genode-15.08/tool/run/power_on/linuxincluding /home/lucid/Desktop/genode-15.08/tool/run/log/linuxincluding /home/lucid/Desktop/genode-15.08/repos/os/run/demo.runbuilding targets: core init drivers/timer server/nitpicker app/pointer app/status_bar server/liquid_framebuffer app/launchpad app/scout test/nitpicker server/nitlog drivers/framebuffer drivers/input server/report_rom spawn make core init drivers/timer server/nitpicker app/pointer app/status_bar server/liquid_framebuffer app/launchpad app/scout test/nitpicker server/nitlog drivers/framebuffer drivers/input server/report_rom/bin/bash: /usr/local/genode-gcc/bin/genode-arm-g++: cannot execute binary filemake[1]: Entering directory `/home/lucid/Desktop/genode-15.08/build.lx'Makefile:107: *** "/usr/local/genode-gcc/bin/genode-arm-g++ version 4.9.2 is required". Stop.make[1]: Leaving directory `/home/lucid/Desktop/genode-15.08/build.lx'Error: Genode build failedmake: *** [run/demo] Error 252"
What am I missing?
Best Regards,João Ramos
------------------------------------------------------------------------------
Monitor Your Dynamic Infrastructure at Any Scale With Datadog!
Get real-time metrics from all of your servers, apps and tools
in one place.
SourceForge users - Click here to start your Free Trial of Datadog now!
http://pubads.g.doubleclick.net/gampad/clk?id=241902991&iu=/4140 _______________________________________________
genode-main mailing list
genode-main@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main
------------------------------------------------------------------------------ Monitor Your Dynamic Infrastructure at Any Scale With Datadog! Get real-time metrics from all of your servers, apps and tools in one place. SourceForge users - Click here to start your Free Trial of Datadog now! http://pubads.g.doubleclick.net/gampad/clk?id=241902991&iu=/4140 _______________________________________________ genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
Hello João,
On Thu, Sep 10, 2015 at 01:50:00AM +0100, João Rocheteau Ramos wrote:
I'm using Genode-15.08 already
This is the Genode OS Framework version. What Ben was referring to is the tool-chain version. For Genode 15.08 you need the current tool chain which is 15.05. You have to option to get it
1) You can download from Sourceforge http://sourceforge.net/projects/genode/files/genode-toolchain/
2) You may build the tool chain by yourself via the script in <genode-dir>/tool/tool_chain
More detailed information about the Genode tool chain can be found at
http://genode.org/download/tool-chain
Regards
Hi Christian, When I tried building the tool chain using './tool_chain x86' , after a few minutes the script ended with this error.
After this output: "Using host-linux.o for host machine hooks.Links are now set up to build a cross-compiler from armv7l-unknown-linux-gnueabi to x86_64-pc-elf.mkdir -p -- .depsmkdir -p -- build/.depsmkdir -p -- ada/.depsmkdir -p -- c/.depsmkdir -p -- cp/.depsmkdir -p -- fortran/.depsmkdir -p -- go/.depsmkdir -p -- java/.depsmkdir -p -- lto/.depsmkdir -p -- objc/.depsmkdir -p -- objcp/.depsmkdir -p -- c-family/.depsmkdir -p -- common/.deps "it started to give these warnings : "/home/lucid/Desktop/genode-15.08/tool/contrib/gcc-4.9.2/gcc/genhooks.c: In function ‘void emit_documentation(const char*)’:/home/lucid/Desktop/genode-15.08/tool/contrib/gcc-4.9.2/gcc/genhooks.c:131:3: warning: ignoring return value of ‘int fscanf(FILE*, const char*, ...)’, declared with attribute warn_unused_result [-Wunused-result] while (fscanf (f, "%*[^@]"), buf[0] = '\0', ^/home/lucid/Desktop/genode-15.08/tool/contrib/gcc-4.9.2/gcc/genhooks.c:140:31: warning: ignoring return value of ‘int fscanf(FILE*, const char*, ...)’, declared with attribute warn_unused_result [-Wunused-result] fscanf (f, "%999s", buf); ^/home/lucid/Desktop/genode-15.08/tool/contrib/gcc-4.9.2/gcc/genhooks.c:193:34: warning: ignoring return value of ‘int fscanf(FILE*, const char*, ...)’, declared with attribute warn_unused_result [-Wunused-result] fscanf (f, "%5[^ \n]", buf); ^/home/lucid/Desktop/genode-15.08/tool/contrib/gcc-4.9.2/gcc/genhooks.c:199:31: warning: ignoring return value of ‘int fscanf(FILE*, const char*, ...)’, declared with attribute warn_unused_result [-Wunused-result] fscanf (f, "%999s", buf); ^In file included from /home/lucid/Desktop/genode-15.08/tool/contrib/gcc-4.9.2/gcc/c/c-decl.c:10542:0:./gt-c-c-decl.h: In function ‘void gt_ggc_mx_c_binding(void*)’:./gt-c-c-decl.h:93:50: warning: switch condition has type bool [-Wswitch-bool] switch (TREE_CODE ((*x).decl) == LABEL_DECL) ^./gt-c-c-decl.h: In function ‘void gt_ggc_mx_lang_tree_node(void*)’:./gt-c-c-decl.h:148:61: warning: switch condition has type bool [-Wswitch-bool] switch (TREE_CODE (&((*x)).generic) == IDENTIFIER_NODE) ^./gt-c-c-decl.h: In function ‘void gt_pch_nx_c_binding(void*)’:./gt-c-c-decl.h:735:50: warning: switch condition has type bool [-Wswitch-bool] switch (TREE_CODE ((*x).decl) == LABEL_DECL) ^./gt-c-c-decl.h: In function ‘void gt_pch_nx_lang_tree_node(void*)’:./gt-c-c-decl.h:790:61: warning: switch condition has type bool [-Wswitch-bool] switch (TREE_CODE (&((*x)).generic) == IDENTIFIER_NODE) ^./gt-c-c-decl.h: In function ‘void gt_pch_p_9c_binding(void*, void*, gt_pointer_operator, void*)’:./gt-c-c-decl.h:1372:46: warning: switch condition has type bool [-Wswitch-bool] switch (TREE_CODE ((*x).decl) == LABEL_DECL) ^./gt-c-c-decl.h: In function ‘void gt_pch_p_14lang_tree_node(void*, void*, gt_pointer_operator, void*)’:./gt-c-c-decl.h:1438:57: warning: switch condition has type bool [-Wswitch-bool] switch (TREE_CODE (&((*x)).generic) == IDENTIFIER_NODE) ^" And after the warnings: "Out of memory: kill process 5132 (gnome-session) score 52875 or a childKilled process 5240 (ssh-agent) vsz:2704kB, anon-rss:208kB, file-rss:40kBOut of memory: kill process 5132 (gnome-session) score 52536 or a childKilled process 5427 (gnome-power-man) vsz:18416kB, anon-rss:1448kB, file-rss:192kBOut of memory: kill process 5132 (gnome-session) score 50233 or a childKilled process 5430 (polkit-gnome-au) vsz:16788kB, anon-rss:1140kB, file-rss:84kBOut of memory: kill process 5132 (gnome-session) score 48134 or a childKilled process 5431 (metacity) vsz:27500kB, anon-rss:1996kB, file-rss:648kBOut of memory: kill process 5132 (gnome-session) score 44871 or a childKilled process 5432 (gnome-panel) vsz:37664kB, anon-rss:3604kB, file-rss:464kBOut of memory: kill process 24338 (make) score 43282 or a childKilled process 25429 (genattrtab) vsz:322012kB, anon-rss:320352kB, file-rss:96kBmake[3]: *** [s-attrtab] Killedmake[3]: *** Waiting for unfinished jobs....make[2]: *** [all-gcc] Error 2make[1]: *** [all] Error 2make: *** [build/x86/gcc/gcc/g++] Error 2 "
Also tested "./tool_chain arm" and got a similar end result: "cclplus: out of memory allocating 14138440 bytes after a total of 35745792 bytesmake[3]: *** [insn-recog.o] Error 1make[3]: *** Waiting for unfinished jobs....make[2]: *** [all-gcc] Error 2make[1]: *** [all] Error 2make: *** [build/arm/gcc/gcc/g++] Error 2 "I haven't found any solutions online for this. What am I doing wrong?
Regards,João Ramos
Date: Thu, 10 Sep 2015 09:46:52 +0200 From: christian.helmuth@...1... To: genode-main@lists.sourceforge.net Subject: Re: Problem running the demo
Hello João,
On Thu, Sep 10, 2015 at 01:50:00AM +0100, João Rocheteau Ramos wrote:
I'm using Genode-15.08 already
This is the Genode OS Framework version. What Ben was referring to is the tool-chain version. For Genode 15.08 you need the current tool chain which is 15.05. You have to option to get it
You can download from Sourceforge http://sourceforge.net/projects/genode/files/genode-toolchain/
You may build the tool chain by yourself via the script in <genode-dir>/tool/tool_chain
More detailed information about the Genode tool chain can be found at
http://genode.org/download/tool-chain
Regards
Christian Helmuth Genode Labs
http://www.genode-labs.com/ · http://genode.org/ https://twitter.com/GenodeLabs · /ˈdʒiː.nəʊd/
Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth
Monitor Your Dynamic Infrastructure at Any Scale With Datadog! Get real-time metrics from all of your servers, apps and tools in one place. SourceForge users - Click here to start your Free Trial of Datadog now! http://pubads.g.doubleclick.net/gampad/clk?id=241902991&iu=/4140 _______________________________________________ genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
Hello João,
On Thu, Sep 10, 2015 at 03:53:23PM +0100, João Rocheteau Ramos wrote:
"Out of memory: kill process 5132 (gnome-session) score 52875 or a childKilled process 5240 (ssh-agent) vsz:2704kB, anon-rss:208kB, file-rss:40kBOut of memory: kill process 5132 (gnome-session) score 52536 or a childKilled process 5427 (gnome-power-man) vsz:18416kB, anon-rss:1448kB, file-rss:192kBOut of memory: kill process 5132 (gnome-session) score 50233 or a childKilled process 5430 (polkit-gnome-au) vsz:16788kB, anon-rss:1140kB, file-rss:84kBOut of memory: kill process 5132 (gnome-session) score 48134 or a childKilled process 5431 (metacity) vsz:27500kB, anon-rss:1996kB, file-rss:648kBOut of memory: kill process 5132 (gnome-session) score 44871 or a childKilled process 5432 (gnome-panel) vsz:37664kB, anon-rss:3604kB, file-rss:464kBOut of memory: kill process 24338 (make) score 43282 or a childKilled process 25429 (genattrtab) vsz:322012kB, anon-rss:320352kB, file-rss:96kBmake[3]: *** [s-attrtab] Killedmake[3]: *** Waiting for unfinished jobs....make[2]: *** [all-gcc] Error 2make[1]: *** [all] Error 2make: *** [build/x86/gcc/gcc/g++] Error 2
I'm afraid you don't have enough RAM as "Out of memory [...]" hints. You may add more RAM to the machine (is it a VM?), add a swap partition (which could help but slows down the build extremely), or just go for the download.
Regards
Hi Christian, I'm using an Ubuntu demo image on the Freescale I.MX53 QSB, provided by Freescale. In my first email, I had already tried the pre-compiled way, extracting the archive and installing in the /usr/local/genode-gcc directory , using the command given in http://genode.org/download/tool-chain. This was the error I got trying to run the demo, after using the first method."/bin/bash: /usr/local/genode-gcc/bin/genode-arm-g++: cannot execute binary filedirname: missing operandTry `dirname --help' for more information.including /home/lucid/Desktop/genode-15.08/tool/run/boot_dir/linuxincluding /home/lucid/Desktop/genode-15.08/tool/run/power_on/linuxincluding /home/lucid/Desktop/genode-15.08/tool/run/log/linuxincluding /home/lucid/Desktop/genode-15.08/repos/os/run/demo.runbuilding targets: core init drivers/timer server/nitpicker app/pointer app/status_bar server/liquid_framebuffer app/launchpad app/scout test/nitpicker server/nitlog drivers/framebuffer drivers/input server/report_romspawn make core init drivers/timer server/nitpicker app/pointer app/status_bar server/liquid_framebuffer app/launchpad app/scout test/nitpicker server/nitlog drivers/framebuffer drivers/input server/report_rom/bin/bash: /usr/local/genode-gcc/bin/genode-arm-g++: cannot execute binary filemake[1]: Entering directory `/home/lucid/Desktop/genode-15.08/build.lx'Makefile:107: *** "/usr/local/genode-gcc/bin/genode-arm-g++ version 4.9.2 is required". Stop.make[1]: Leaving directory `/home/lucid/Desktop/genode-15.08/build.lx'Error: Genode build failedmake: *** [run/demo] Error 252"I went to /usr/local/genode-gcc and all seemed right, but it still wasn't running the demo. So now I tried the second way and got the error I mentioned in the last email. What should I do?
Regards,João Ramos
Hm, am I right that you build *on* i.MX53 QSB not on x86?
Build on i.MX53 QSB? I didn't understand.
Subject: RE: Problem running the demo From: christian.helmuth@...1... Date: Thu, 10 Sep 2015 18:39:41 +0200 To: genode-main@lists.sourceforge.net
Hm, am I right that you build *on* i.MX53 QSB not on x86?
Christian Helmuth Genode Labs
http://www.genode-labs.com/ · http://genode.org/ · /ˈdʒiː.nəʊd/
Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth
Monitor Your Dynamic Infrastructure at Any Scale With Datadog! Get real-time metrics from all of your servers, apps and tools in one place. SourceForge users - Click here to start your Free Trial of Datadog now! http://pubads.g.doubleclick.net/gampad/clk?id=241902991&iu=/4140 _______________________________________________ genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
Hello João,
On Thu, Sep 10, 2015 at 06:13:31PM +0100, João Rocheteau Ramos wrote:
Build on i.MX53 QSB? I didn't understand.
I was referring to the following sentence in your last email
I'm using an Ubuntu demo image on the Freescale I.MX53 QSB, provided by Freescale.
To make myself clear I'll try to rephrase what I wrote before: Which is the host machine your running the Ubuntu demo image, Genode build system resp. tool_chain script on? Is it the mentioned Freescale i.MX53 QSB or a x86-PC?
Additionally, what is the build target you're using in the 'build.lx' directory? Is it perhaps linux_arm or linux_x86?
The background of my questions is that I doubt you'll succeed building the tool chain on the QSB because of its limited resources. Unfortunately, it's also not possible to use our provided tool-chain archive on the i.MX as it works on x86_32/x86_64 only.
Greets
Hi Christian, Yes, the host machine is the Freescale i.MX53 QSB. The build target is linux_x86, just like it is mentioned in the 'getting_started.txt' contained in the genode directory. Hm, how can I make this work with the board? From reading http://genode.org/documentation/articles/trustzone I thought that this board was ideal to use with Genode.
Date: Thu, 10 Sep 2015 20:12:51 +0200 From: christian.helmuth@...1... To: genode-main@lists.sourceforge.net Subject: Re: Problem running the demo
Hello João,
On Thu, Sep 10, 2015 at 06:13:31PM +0100, João Rocheteau Ramos wrote:
Build on i.MX53 QSB? I didn't understand.
I was referring to the following sentence in your last email
I'm using an Ubuntu demo image on the Freescale I.MX53 QSB, provided by Freescale.
To make myself clear I'll try to rephrase what I wrote before: Which is the host machine your running the Ubuntu demo image, Genode build system resp. tool_chain script on? Is it the mentioned Freescale i.MX53 QSB or a x86-PC?
Additionally, what is the build target you're using in the 'build.lx' directory? Is it perhaps linux_arm or linux_x86?
The background of my questions is that I doubt you'll succeed building the tool chain on the QSB because of its limited resources. Unfortunately, it's also not possible to use our provided tool-chain archive on the i.MX as it works on x86_32/x86_64 only.
Greets
Christian Helmuth Genode Labs
http://www.genode-labs.com/ · http://genode.org/ https://twitter.com/GenodeLabs · /ˈdʒiː.nəʊd/
Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth
Monitor Your Dynamic Infrastructure at Any Scale With Datadog! Get real-time metrics from all of your servers, apps and tools in one place. SourceForge users - Click here to start your Free Trial of Datadog now! http://pubads.g.doubleclick.net/gampad/clk?id=241902991&iu=/4140 _______________________________________________ genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
João,
I fear that's a misconception...
On Thu, Sep 10, 2015 at 07:22:18PM +0100, João Rocheteau Ramos wrote:
From reading http://genode.org/documentation/articles/trustzone I thought that this board was ideal to use with Genode.
This article describes the i.MX53 as a perfect *target* platform esp. if you plan to investigate TrustZone. Most of our development happens on ordinary PCs (i.e., Lenovo Thinkpads) as a host. Therefore, I mistakenly guided you to build the tool chain on your own. So, if you're addressing the i.MX53 as a target use hw_imx53_qsb like in
./tool/create_builddir hw_imx53_qsb or ./tool/create_builddir hw_imx53_qsb_tz
but use a PC with Linux OS as host.
The getting started tutorial tries to simplify the first steps with Genode by using the 'linux_x86' target, which means: Build Genode for the Linux installation on this *x86* host. We also have a 'linux_arm' target for ARM based hosts. Unfortunately, the build targets do not check if you're really running Linux on x86 resp. ARM. So, before you try to run Genode on the i.MX target you may try it out on a x86 PC with Linux OS following the getting started tutorial.
Sorry it took my several mails until the penny dropped ;-)
Regards
I do plan to work with the TrustZone and ultimately run code in a secure world. Currently I use the i.MX53 QSB connected to my laptop via and USB <->RS232 adapter, for debug. So, in order to properly run Genode on the board as host is it enough to proceed with building the toolchain with the board as the target? If I were to use a PC , with Linux, as host, how would I then be able to bring the i.MX53 QSB into this? No problem Christian, I'm sorry if I just can't explain well enough the real problem here, I'm a bit lost will all of this, since I just started working with this board. Thank you for your pacience so far!
Best Regards,João Ramos
João,
On Thu, Sep 10, 2015 at 08:04:18PM +0100, João Rocheteau Ramos wrote:
I do plan to work with the TrustZone and ultimately run code in a secure world. Currently I use the i.MX53 QSB connected to my laptop via and USB <->RS232 adapter, for debug. So, in order to properly run Genode on the board as host is it enough to proceed with building the toolchain with the board as the target? If I were to use a PC , with Linux, as host, how would I then be able to bring the i.MX53 QSB into this?
Seems I confused you with my explanation esp. with the terms I used. If I'm writing about the *host* I'm referring to your development machine (laptop) which hosts the build system, the source code, etc. The *target* in your case is the i.MX53 QSB which will run Genode. As you're interested in TrustZone I assume you will run Genode/base-hw, i.e., hw_imx53_qsb_tz, and not Genode/Linux. The getting started only covers Genode/Linux which you may try first on your laptop with linux_x86. In this case host and target melt into the same machine.
The common development cycle with separate target hardware (i.MX53 QSB) is to edit the sources and build bootable images on your host. Then, the image must be transferred to the target, e.g., by writing an SD card. Then, you boot the target and examine the log output on the USB-RS232 adapter.
Please also have a look at repos/base-hw/doc/hw.txt in the Genode sources. If it comes to the preparation of the bootable SD card for i.MX53 I don't feel prepared enough to guide you. Maybe one of the more experienced ARM developers can help out in this regard.
Does this clarify your question?
Regards
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