building nova

buzz lightyear buzzheavyyear at ...16...
Fri Aug 24 16:08:44 CEST 2012


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 at ...1...
> To: genode-main at 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 at 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 at lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/genode-main
 		 	   		  
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20120824/138e8989/attachment.html>


More information about the users mailing list