l4linux fails on fiasco.oc 64bit

[john stokes]

thanks i think it will work

On Sun, Jun 26, 2016 at 3:05 PM, Norman Feske <norman.feske at ...1...>
wrote:

> Hello John,
>
> welcome to the list!
>
> On 26.06.2016 06:45, john stokes wrote:
> > i tried to run l4linux over foc_x86_32 platefrom it ran well. now after
> > building the build directory for foc_x86_64 i am agian trying to run the
> > run script of l4linux from the build directory then i am getting this
> error
> >
> > I have changed the <spec>.conf and of the ports-foc and
> > other  tarhget.mk <http://tarhget.mk/> for my
> > foc_x86_64 but it is not working the error is :
> >
> >
> > the same thing works fine for foc_x86_32
>
> Unfortunately, the problem goes a bit deeper than some mismatching
> types. The version of L4Linux currently used by Genode is not able to
> run on 64 bit. We haven't updated the Fiasco.OC and L4Linux support for
> the while. For running Linux as a Genode subsystem on x86 nowadays, we
> normally use the NOVA kernel with our version of VirtualBox.
>
> Cheers
> Norman
>
> --
> Dr.-Ing. Norman Feske
> 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
>
>
> ------------------------------------------------------------------------------
> Attend Shape: An AT&T Tech Expo July 15-16. Meet us at AT&T Park in San
> Francisco, CA to explore cutting-edge tech and listen to tech luminaries
> present their vision of the future. This family event has something for
> everyone, including kids. Get more information and register today.
> http://sdm.link/attshape
> _______________________________________________
> 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/20160626/79ba0985/attachment.html>