<div>Thanks for your help - here's what I've done to date:</div><div><br></div><div><br></div><div><br></div><div><br></div>I used the latest version of Virtual Box (4.18) to create a virtual machine with 8Gb SATA HDD and 1GB of RAM.<div>
<br></div><div>I installed Ubuntu Desktop 11.04 with all the defaults</div><div><br></div><div>From the instructions at <a href="http://genode.org/documentation/developer-resources/getting_started">http://genode.org/documentation/developer-resources/getting_started</a> as a base...</div>
<div><br></div><div>GNU make 3.81 - was already installed</div><div><br></div><div>I used apt-get install to install libSDL-dev</div><div><br></div><div>I initially had issues finding tclsh, as it wanted me to pick a version, but then I get it as part of   apt-get install tcl</div>
<div><br></div><div>I used apt-get to install expect,qemu,genisoinstall</div><div><br></div><div><div>Added virtualbox guest addins to get cut-paste working for this url</div><div><br></div><div><a href="http://downloads.sourceforge.net/project/genode/genode/12.05/genode-12.05.tar.bz2?r=http%3A%2F%2Fsourceforge.net%2Fprojects%2Fgenode%2Ffiles%2Fgenode-toolchain%2F&ts=1342966018&use_mirror=iweb">http://downloads.sourceforge.net/project/genode/genode/12.05/genode-12.05.tar.bz2?r=http%3A%2F%2Fsourceforge.net%2Fprojects%2Fgenode%2Ffiles%2Fgenode-toolchain%2F&ts=1342966018&use_mirror=iweb</a></div>
<div><br></div><div><div>I then renamed the file, and used   tar -xf to extract it...</div><div><br></div><div>Here's the output from the session after that...</div><div>====================================================================</div>
<div><div><br></div><div><br></div><div><br></div><div><br></div><div>mike@...123...:~/genode-12.05/build.lx$ make run/demo</div><div>/bin/bash: /usr/local/genode-gcc/bin/genode-x86-g++: No such file or directory</div>
<div>dirname: missing operand</div><div>Try `dirname --help' for more information.</div><div>using run script /home/mike/genode-12.05/base-linux/run/env</div><div>using run script /home/mike/genode-12.05/os/run/demo.run</div>
<div>building targets:  core init drivers/timer server/nitpicker server/liquid_framebuffer app/launchpad app/scout test/nitpicker server/nitlog drivers/framebuffer drivers/pci drivers/input</div><div><br></div><div>spawn make core init drivers/timer server/nitpicker server/liquid_framebuffer app/launchpad app/scout test/nitpicker server/nitlog drivers/framebuffer drivers/pci drivers/input</div>
<div>make[1]: Entering directory `/home/mike/genode-12.05/build.lx'</div><div>/bin/bash: /usr/local/genode-gcc/bin/genode-x86-g++: No such file or directory</div><div>dirname: missing operand</div><div>Try `dirname --help' for more information.</div>
<div>checking library dependencies...</div><div>/bin/bash: /usr/local/genode-gcc/bin/genode-x86-g++: No such file or directory</div><div>dirname: missing operand</div><div>Try `dirname --help' for more information.</div>
<div>/bin/bash: /usr/local/genode-gcc/bin/genode-x86-g++: No such file or directory</div><div>dirname: missing operand</div><div>Try `dirname --help' for more information.</div><div>Skip target drivers/framebuffer/fiasco_ux because it requires fiasco</div>
<div>Skip target drivers/framebuffer/pl11x/pbxa9 because it requires pl11x platform_pbxa9</div><div>Skip target drivers/framebuffer/pl11x/vea9x4 because it requires pl11x platform_vea9x4</div><div>Skip target drivers/framebuffer/pl11x/vpb926 because it requires pl11x platform_vpb926</div>
<div>Skip target drivers/framebuffer/vesa because it requires vesa</div><div>Skip target drivers/input/fiasco_ux because it requires fiasco</div><div>Skip target drivers/input/ps2/pl050 because it requires pl050</div><div>
Skip target drivers/input/ps2/x86 because it requires ps2</div><div>Skip target drivers/timer/codezero because it requires codezero</div><div>Skip target drivers/timer/fiasco because it requires fiasco</div><div>Skip target drivers/timer/foc because it requires foc</div>
<div>Skip target drivers/timer/nova because it requires nova</div><div>Skip target drivers/timer/okl4_arm because it requires okl4 arm</div><div>Skip target drivers/timer/okl4_x86 because it requires okl4</div><div>Skip target drivers/timer/pistachio because it requires pistachio</div>
<div>/bin/bash: /usr/local/genode-gcc/bin/genode-x86-g++: No such file or directory</div><div>dirname: missing operand</div><div>Try `dirname --help' for more information.</div><div>  Library platform</div><div>    MERGE    platform.lib.a</div>
<div>/bin/bash: /usr/local/genode-gcc/bin/genode-x86-ar: No such file or directory</div><div>make[3]: *** [platform.lib.a] Error 127</div><div>make[2]: *** [platform.lib] Error 2</div><div>make[1]: *** [gen_deps_and_build_targets] Error 2</div>
<div>make[1]: Leaving directory `/home/mike/genode-12.05/build.lx'</div><div>Error: Genode build failed</div><div>make: *** [run/demo] Error 252</div><div>mike@...123...:~/genode-12.05/build.lx$ </div></div></div>
</div><div><br></div>