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@...12...ceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main