Current genode release

[Stefan Kalkowski]

Hi Daniel,

the convenient integration of the Fiasco.OC kernel and bootstrap tools
into the Genode build system, introduced with Genode's release 11.05,
slightly changed some build system internals.

If you want to use the unmodified kernel version, the current release is
laid out to run on top of, you have to do:

  make prepare

in the base-foc repository. This will checkout all necessary sources
from the Fiasco.OC repository. Then create a new build-directory via the
tool/builddir/create_builddir script, e.g.:

  ./tool/builddir/create_builddir foc_x86_32 \
         GENODE_DIR=`pwd` BUILD_DIR=$HOME/builds/foc-build

and run:

  make run/demo

within it. That's all.

If you want to use your own kernel, built outside of Genode's build
system, of course you can skip the preparation of the base-foc
repository, but have to state two variables in 'etc/foc.conf' in your
build system (these variable-names changed!):

  L4_BUILD_DIR = <path_to_l4re_build_dir>
  KERNEL       = <path_to_kernel_binary>

Please notice, the second variable does no longer target the
build-directory of the kernel, but the actual kernel binary. I hope that
clarifies

For a complete overview, please have a look at the wiki:

  http://genode.org/community/wiki/GenodeOnFiascoOC

Best regards
Stefan

On 01.06.2011 04:02, Daniel Waddington wrote:
> Hi Stefan,
> We can't compile the latest SVN pull of Genode due to some issues with
> missing base-foc/contrib/kernel/fiasco.  Can you please tell me what the
> dir structure should be and what it should contain - and check
> everything is their for the build.
> 
> Thanks
> Daniel
> 
> 
> 
> ------------------------------------------------------------------------------
> Simplify data backup and recovery for your virtual environment with vRanger. 
> Installation's a snap, and flexible recovery options mean your data is safe,
> secure and there when you need it. Data protection magic?
> Nope - It's vRanger. Get your free trial download today. 
> http://p.sf.net/sfu/quest-sfdev2dev
> 
> 
> 
> _______________________________________________
> Genode-main mailing list
> Genode-main at lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/genode-main

-- 
Stefan Kalkowski
Genode Labs

http://www.genode-labs.com/ · http://genode.org/

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth