Apologies - it seems to works fine via the qemu..._64 CheersNick
From: buzzheavyyear@...16... To: genode-main@lists.sourceforge.net Subject: RE: building nova Date: Fri, 24 Aug 2012 14:08:44 +0000
Hi Alex Thanks for the hand-holding - everything compiled perfectly and your ubuntu 32bit toolchain works fine on 12.04. Just tried to run the demo and the build script has hardwired in qemu...64 ..... make[1]: Leaving directory `/home/nick/genode/build.nova32'genode build completedusing NOVA kernel at /home/nick/genode/build.nova32/kernel/hypervisorcreating ISO image...spawn qemu-system-x86_64 -no-kvm -cpu core2duo -m 256 -serial mon:stdio -cdrom var/run/demo.isocouldn't execute "qemu-system-x86_64": no such file or directory while executing"spawn qemu-system-x86_64 -no-kvm -cpu core2duo -m 256 -serial mon:stdio -cdrom var/run/demo.iso " ("eval" body line 1) invoked from within"eval "spawn $qemu $qemu_args"" (procedure "spawn_qemu" line 52) invoked from within"spawn_qemu $wait_for_re $timeout_value " (procedure "run_genode_until" line 2) invoked from within"run_genode_until forever" (file "/home/nick/genode/os/run/demo.run" line 129) invoked from within"source $include_name" ("foreach" body line 3) invoked from within"foreach include_name [get_cmd_arg --include ""] { puts "using run script $include_name" source $include_name}" (file "/home/nick/genode/tool/run" line 508)make: *** [run/demo] Error 1make: Leaving directory `/home/nick/genode/build.nova32' I'll hunt around and fix locally. Thanks again Nick
Date: Fri, 24 Aug 2012 15:16:03 +0200 From: alexander.boettcher@...1... To: genode-main@lists.sourceforge.net Subject: Re: building nova
Hi,
can you please make sure that you don't use an outdated build directory.
Something like this should work:
tool/create_builddir nova_x86_32 BUILD_DIR=build.nova32 make -C base-nova prepare make -C build.nova32
On 24.08.2012 12:16, buzz lightyear wrote:
Hi
I built the Nova base at least a year ago and had no problems building using <genode>/base-nova/docs/nova.txt.
This time (with !make kernel no longer available) I do a !make and get
No.
"make -C build.nova32 kernel" is still available.
Could someone please give me a hint at what I should do here - I'm running on Ubuntu 12.04 32bit - the prebuilt toolchain seems to work OK.
On a Ubuntu 12.04 64bit it works like a charm. I have for now no 32bit Ubuntu 12.04 available.
Cheers,
Alex.
Cheers Nick
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
------------------------------------------------------------------------------ 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