Hi,
I've found what is missing - I forgot to install the pre-requisite "libSDL-dev" package. After installing with "sudo apt-get install libSDL-dev". All previous make issues are resolved. Thanks everyone for your help.
I could now proceed to my next stage - basically to build a Genode system with NOVA micro-kernel, running Virtualbox with a Windows 7 VM. I have managed to make the "vbox_auto_win7.run" script - everything is made successfully and the output is a "vbox_auto_win7.iso" file. However, when I tried to use the "vbox_auto_win7.iso" file and put it onto a USB thumdrive to run. The result is that after boot-up, it just hang.
The part that I am not sure are the "win7.vdi" and "overlay_win7.vdi" files. How are they linked to the vbox_auto_win7.iso file ? I have copied them onto the thumbdrive but is this correct ?
I have tried to understand the email exchange on http://sourceforge.net/p/genode/mailman/message/33496592/ discussion between Christian and Adrian. Does anyone have a blueprint on how I can create a "win7.vdi" using an existing Windows 7 DVD onto a "ext2" partition. How is this "win7.vdi" file subsequently linked to the "vbox_auto_win7.iso" file .
Can anyone advise.
Thanks in advance.
Regards.
On Thu, Aug 27, 2015 at 10:44 PM, Christian Helmuth < christian.helmuth@...1...> wrote:
Hello Vincent,
On Thu, Aug 27, 2015 at 06:41:04PM +0800, Vincent Digital wrote:
On Wed, Aug 26, 2015 at 11:16 PM, Sebastian Sumpf <
Sebastian.Sumpf@...1...> wrote:
The rump tools will be executed on your host system, i.e. Linux 3.19.0-25-generic x86_64, not within Genode, they are needed to compile rump. Do you have the zlib package installed in your Linux
distribution?
Yes, I have installed the zlib package via "sudo apt-get install zlibc". I have used "./tool/ports/prepare_port zlib" to prepare the zlib port as well. For the rump tools, are you referring to the "dde_rump" which I had prepared by using "./tool/ports/prepare_port dde_rump". Finally, I used the tool chain make to build up everything - "make server/rump_fs" or "make run/rump_ext2". Did I miss out anything ?
The zlib Debian package (or zlib1g on Ubuntu) is just the binary part, i.e., the library already linked programs depend on. For building the rump tools you also need the development package containing the C header files used on compilation of the sources. On my Ubuntu, the package is called zlib1g-dev, so you may try
apt-get install zlib-dev or aptitude install zlib-dev
on your Debian system.
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
genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main