make[1]: Leaving directory `/home/nick/genode/build.nova32'

genode build completed

using NOVA kernel at /home/nick/genode/build.nova32/kernel/hypervisor

creating ISO image...

spawn qemu-system-x86_64 -no-kvm -cpu core2duo -m 256 -serial mon:stdio -cdrom var/run/demo.iso

couldn'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 1

make: 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@...13.....
> 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@...12...ceforge.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@...135...urceforge.net
> https://lists.sourceforge.net/lists/listinfo/genode-main