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