l4linux fails on fiasco.oc 64bit

[Nobody III]

On the error lines, you can try replacing "unsigned" with "const char *".
That should at least fix those errors. If that for some reason doesn't
work, you can replace it with "unsigned long long", but that will make
l4linux no longer compile for x86_32.

On Sat, Jun 25, 2016 at 10:45 PM, john stokes <jstokes95.john at ...9...>
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 for
> my
> foc_x86_64 but it is not working the error is :
>
>
> the same thing works fine for foc_x86_32
>
>   Program drivers/nic/nic_drv
>   Program drivers/platform/spec/x86/platform_drv
>   Library alarm
>   Library timer
>   Program drivers/timer/timer
>   Program drivers/uart/kdb/spec/foc/kdb_uart_drv
>   Program drivers/uart/spec/i8250/uart_drv
>   Program init/init
>   Library l4lx
>     COMPILE  l4_util_util.o
> In file included from
> /home/rishabh/genode-16.05/repos/ports-foc/src/lib/l4lx/l4_util_util.cc:18:0:
> /home/rishabh/genode-16.05/repos/ports-foc/include/l4/util/util.h: In
> function ‘void Fiasco::l4_touch_ro(const void*, unsigned int)’:
> /home/rishabh/genode-16.05/repos/ports-foc/include/l4/util/util.h:31:34:
> error: cast from ‘const void*’ to ‘unsigned int’ loses precision
> [-fpermissive]
>   bptr = (const char*)(((unsigned)addr) & L4_PAGEMASK);
>                                   ^
> /home/rishabh/genode-16.05/repos/ports-foc/include/l4/util/util.h:32:34:
> error: cast from ‘const void*’ to ‘unsigned int’ loses precision
> [-fpermissive]
>   eptr = (const char*)(((unsigned)addr+size-1) & L4_PAGEMASK);
>                                   ^
> /home/rishabh/genode-16.05/repos/ports-foc/include/l4/util/util.h: In
> function ‘void Fiasco::l4_touch_rw(const void*, unsigned int)’:
> /home/rishabh/genode-16.05/repos/ports-foc/include/l4/util/util.h:45:28:
> error: cast from ‘const void*’ to ‘unsigned int’ loses precision
> [-fpermissive]
>   bptr = (char*)(((unsigned)addr) & L4_PAGEMASK);
>                             ^
> /home/rishabh/genode-16.05/repos/ports-foc/include/l4/util/util.h:46:34:
> error: cast from ‘const void*’ to ‘unsigned int’ loses precision
> [-fpermissive]
>   eptr = (const char*)(((unsigned)addr+size-1) & L4_PAGEMASK);
>                                   ^
> make[3]: *** [l4_util_util.o] Error 1
> make[2]: *** [l4lx.lib] Error 2
> make[1]: *** [gen_deps_and_build_targets] Error 2
> make[1]: Leaving directory `/home/rishabh/genode-16.05/build/foc_x86_64'
> Error: Genode build failed
> make: *** [run/l4linux] Error 252
>
>
> ------------------------------------------------------------------------------
> 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/20160625/e4f62544/attachment.html>