I've reached the end of my Linux skill set trying to get the Build environment working in a Ubuntu 11.04 environment. (In a VM) on my Windows 7 box. I really, REALLY want to get up to speed on Genode (as I see it as the ONLY effective stop for all this silly "cyberwar" stuff, thanks to it's native support of capability based security).
Is there somewhere I can download a VMware or VirtualBox image of it installed?
Hello Mike,
thanks for your interest in exploring Genode and welcome to the mailing list!
I've reached the end of my Linux skill set trying to get the Build environment working in a Ubuntu 11.04 environment. (In a VM) on my Windows 7 box. I really, REALLY want to get up to speed on Genode (as I see it as the ONLY effective stop for all this silly "cyberwar" stuff, thanks to it's native support of capability based security).
Is there somewhere I can download a VMware or VirtualBox image of it installed?
I am not aware of any prebuild VM image that contains a complete development environment for Genode.
It is unfortunate to hear that you struggled to set up the build environment. You question somehow hints to a lack of documentation on our side. Admittedly, the current documentation is primarily targeted at developers who are already familiar with Linux. However, I would love to improve the documentation for people who are less experienced in Linux as well. For doing this, it would be very interesting to know where exactly you got stuck.
I will gladly assist you with the process of setting up the development environment. Please just provide the specific points where you ran into trouble.
Cheers Norman
Thanks for your help - here's what I've done to date:
I used the latest version of Virtual Box (4.18) to create a virtual machine with 8Gb SATA HDD and 1GB of RAM.
I installed Ubuntu Desktop 11.04 with all the defaults
From the instructions at
http://genode.org/documentation/developer-resources/getting_started as a base...
GNU make 3.81 - was already installed
I used apt-get install to install libSDL-dev
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
I used apt-get to install expect,qemu,genisoinstall
Added virtualbox guest addins to get cut-paste working for this url
http://downloads.sourceforge.net/project/genode/genode/12.05/genode-12.05.ta...
I then renamed the file, and used tar -xf to extract it...
Here's the output from the session after that... ====================================================================
mike@...123...:~/genode-12.05/build.lx$ make run/demo /bin/bash: /usr/local/genode-gcc/bin/genode-x86-g++: No such file or directory dirname: missing operand Try `dirname --help' for more information. using run script /home/mike/genode-12.05/base-linux/run/env using run script /home/mike/genode-12.05/os/run/demo.run 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
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 make[1]: Entering directory `/home/mike/genode-12.05/build.lx' /bin/bash: /usr/local/genode-gcc/bin/genode-x86-g++: No such file or directory dirname: missing operand Try `dirname --help' for more information. checking library dependencies... /bin/bash: /usr/local/genode-gcc/bin/genode-x86-g++: No such file or directory dirname: missing operand Try `dirname --help' for more information. /bin/bash: /usr/local/genode-gcc/bin/genode-x86-g++: No such file or directory dirname: missing operand Try `dirname --help' for more information. Skip target drivers/framebuffer/fiasco_ux because it requires fiasco Skip target drivers/framebuffer/pl11x/pbxa9 because it requires pl11x platform_pbxa9 Skip target drivers/framebuffer/pl11x/vea9x4 because it requires pl11x platform_vea9x4 Skip target drivers/framebuffer/pl11x/vpb926 because it requires pl11x platform_vpb926 Skip target drivers/framebuffer/vesa because it requires vesa Skip target drivers/input/fiasco_ux because it requires fiasco Skip target drivers/input/ps2/pl050 because it requires pl050 Skip target drivers/input/ps2/x86 because it requires ps2 Skip target drivers/timer/codezero because it requires codezero Skip target drivers/timer/fiasco because it requires fiasco Skip target drivers/timer/foc because it requires foc Skip target drivers/timer/nova because it requires nova Skip target drivers/timer/okl4_arm because it requires okl4 arm Skip target drivers/timer/okl4_x86 because it requires okl4 Skip target drivers/timer/pistachio because it requires pistachio /bin/bash: /usr/local/genode-gcc/bin/genode-x86-g++: No such file or directory dirname: missing operand Try `dirname --help' for more information. Library platform MERGE platform.lib.a /bin/bash: /usr/local/genode-gcc/bin/genode-x86-ar: No such file or directory make[3]: *** [platform.lib.a] Error 127 make[2]: *** [platform.lib] Error 2 make[1]: *** [gen_deps_and_build_targets] Error 2 make[1]: Leaving directory `/home/mike/genode-12.05/build.lx' Error: Genode build failed make: *** [run/demo] Error 252 mike@...123...:~/genode-12.05/build.lx$
You have to install Genode toolchain. You can read about toolchain here - http://genode.org/download/tool-chain
22.07.2012, в 18:40, Mike Warot <m.warot@...120...> написал(а):
Thanks for your help - here's what I've done to date:
I used the latest version of Virtual Box (4.18) to create a virtual machine with 8Gb SATA HDD and 1GB of RAM.
I installed Ubuntu Desktop 11.04 with all the defaults
From the instructions at http://genode.org/documentation/developer-resources/getting_started as a base...
GNU make 3.81 - was already installed
I used apt-get install to install libSDL-dev
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
I used apt-get to install expect,qemu,genisoinstall
Added virtualbox guest addins to get cut-paste working for this url
http://downloads.sourceforge.net/project/genode/genode/12.05/genode-12.05.ta...
I then renamed the file, and used tar -xf to extract it...
Here's the output from the session after that...
mike@...123...:~/genode-12.05/build.lx$ make run/demo /bin/bash: /usr/local/genode-gcc/bin/genode-x86-g++: No such file or directory dirname: missing operand Try `dirname --help' for more information. using run script /home/mike/genode-12.05/base-linux/run/env using run script /home/mike/genode-12.05/os/run/demo.run 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
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 make[1]: Entering directory `/home/mike/genode-12.05/build.lx' /bin/bash: /usr/local/genode-gcc/bin/genode-x86-g++: No such file or directory dirname: missing operand Try `dirname --help' for more information. checking library dependencies... /bin/bash: /usr/local/genode-gcc/bin/genode-x86-g++: No such file or directory dirname: missing operand Try `dirname --help' for more information. /bin/bash: /usr/local/genode-gcc/bin/genode-x86-g++: No such file or directory dirname: missing operand Try `dirname --help' for more information. Skip target drivers/framebuffer/fiasco_ux because it requires fiasco Skip target drivers/framebuffer/pl11x/pbxa9 because it requires pl11x platform_pbxa9 Skip target drivers/framebuffer/pl11x/vea9x4 because it requires pl11x platform_vea9x4 Skip target drivers/framebuffer/pl11x/vpb926 because it requires pl11x platform_vpb926 Skip target drivers/framebuffer/vesa because it requires vesa Skip target drivers/input/fiasco_ux because it requires fiasco Skip target drivers/input/ps2/pl050 because it requires pl050 Skip target drivers/input/ps2/x86 because it requires ps2 Skip target drivers/timer/codezero because it requires codezero Skip target drivers/timer/fiasco because it requires fiasco Skip target drivers/timer/foc because it requires foc Skip target drivers/timer/nova because it requires nova Skip target drivers/timer/okl4_arm because it requires okl4 arm Skip target drivers/timer/okl4_x86 because it requires okl4 Skip target drivers/timer/pistachio because it requires pistachio /bin/bash: /usr/local/genode-gcc/bin/genode-x86-g++: No such file or directory dirname: missing operand Try `dirname --help' for more information. Library platform MERGE platform.lib.a /bin/bash: /usr/local/genode-gcc/bin/genode-x86-ar: No such file or directory make[3]: *** [platform.lib.a] Error 127 make[2]: *** [platform.lib] Error 2 make[1]: *** [gen_deps_and_build_targets] Error 2 make[1]: Leaving directory `/home/mike/genode-12.05/build.lx' Error: Genode build failed make: *** [run/demo] Error 252 mike@...123...:~/genode-12.05/build.lx$
Live Security Virtual Conference Exclusive live event will cover all the ways today's security and threat landscape has changed and how IT managers can respond. Discussions will include endpoint security, mobile security and the latest in malware threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/ _______________________________________________ Genode-main mailing list Genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
Thanks!
I thought I had the toolchain because the link to it goes to the general download page, where you get genode as well.
I downloaded the 11.11 pre-compiled toolchain, and now the demo runs! It crashes when I close a child, but that's a task for later.
Thanks again --Mike--
On Sun, Jul 22, 2012 at 9:59 AM, Sartakov A. Vasily <sartakov@...104...>wrote:
You have to install Genode toolchain. You can read about toolchain here - http://genode.org/download/tool-chain
22.07.2012, в 18:40, Mike Warot <m.warot@...120...> написал(а):
Thanks for your help - here's what I've done to date:
I used the latest version of Virtual Box (4.18) to create a virtual machine with 8Gb SATA HDD and 1GB of RAM.
I installed Ubuntu Desktop 11.04 with all the defaults
From the instructions at http://genode.org/documentation/developer-resources/getting_started as a base...
GNU make 3.81 - was already installed
I used apt-get install to install libSDL-dev
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
I used apt-get to install expect,qemu,genisoinstall
Added virtualbox guest addins to get cut-paste working for this url
http://downloads.sourceforge.net/project/genode/genode/12.05/genode-12.05.ta...
I then renamed the file, and used tar -xf to extract it...
Here's the output from the session after that...
mike@...123...:~/genode-12.05/build.lx$ make run/demo /bin/bash: /usr/local/genode-gcc/bin/genode-x86-g++: No such file or directory dirname: missing operand Try `dirname --help' for more information. using run script /home/mike/genode-12.05/base-linux/run/env using run script /home/mike/genode-12.05/os/run/demo.run 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
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 make[1]: Entering directory `/home/mike/genode-12.05/build.lx' /bin/bash: /usr/local/genode-gcc/bin/genode-x86-g++: No such file or directory dirname: missing operand Try `dirname --help' for more information. checking library dependencies... /bin/bash: /usr/local/genode-gcc/bin/genode-x86-g++: No such file or directory dirname: missing operand Try `dirname --help' for more information. /bin/bash: /usr/local/genode-gcc/bin/genode-x86-g++: No such file or directory dirname: missing operand Try `dirname --help' for more information. Skip target drivers/framebuffer/fiasco_ux because it requires fiasco Skip target drivers/framebuffer/pl11x/pbxa9 because it requires pl11x platform_pbxa9 Skip target drivers/framebuffer/pl11x/vea9x4 because it requires pl11x platform_vea9x4 Skip target drivers/framebuffer/pl11x/vpb926 because it requires pl11x platform_vpb926 Skip target drivers/framebuffer/vesa because it requires vesa Skip target drivers/input/fiasco_ux because it requires fiasco Skip target drivers/input/ps2/pl050 because it requires pl050 Skip target drivers/input/ps2/x86 because it requires ps2 Skip target drivers/timer/codezero because it requires codezero Skip target drivers/timer/fiasco because it requires fiasco Skip target drivers/timer/foc because it requires foc Skip target drivers/timer/nova because it requires nova Skip target drivers/timer/okl4_arm because it requires okl4 arm Skip target drivers/timer/okl4_x86 because it requires okl4 Skip target drivers/timer/pistachio because it requires pistachio /bin/bash: /usr/local/genode-gcc/bin/genode-x86-g++: No such file or directory dirname: missing operand Try `dirname --help' for more information. Library platform MERGE platform.lib.a /bin/bash: /usr/local/genode-gcc/bin/genode-x86-ar: No such file or directory make[3]: *** [platform.lib.a] Error 127 make[2]: *** [platform.lib] Error 2 make[1]: *** [gen_deps_and_build_targets] Error 2 make[1]: Leaving directory `/home/mike/genode-12.05/build.lx' Error: Genode build failed make: *** [run/demo] Error 252 mike@...123...:~/genode-12.05/build.lx$
Live Security Virtual Conference Exclusive live event will cover all the ways today's security and threat landscape has changed and how IT managers can respond. Discussions will include endpoint security, mobile security and the latest in malware threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/
Genode-main mailing list Genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
Live Security Virtual Conference Exclusive live event will cover all the ways today's security and threat landscape has changed and how IT managers can respond. Discussions will include endpoint security, mobile security and the latest in malware threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/ _______________________________________________ Genode-main mailing list Genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
-
Mike Warot -
Norman Feske -
Sartakov A. Vasily