l4linux fails on fiasco.oc 64bit

[john stokes]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20160626/c473bc95/attachment.html>