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 :
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