thanks i think it will work
On Sun, Jun 26, 2016 at 3:05 PM, Norman Feske <norman.feske@...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@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main