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