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