l4linux fails on fiasco.oc 64bit

john stokes jstokes95.john at ...9...
Sun Jun 26 10:06:29 CEST 2016


thanks for helping me now i am getting these errors.
  CHK     include/generated/utsrelease.h
  CC      kernel/bounds.s
  GEN     include/generated/bounds.h
  CC      arch/l4/kernel/asm-offsets.s
In file included from
/home/rishabh/genode-16.05/build/foc_x86_64/include/l4/sys/types.h:417:0,
                 from
/home/rishabh/genode-16.05/build/foc_x86_64/include/amd64/l4f/l4/sys/ipc.h:29,
                 from
/home/rishabh/genode-16.05/build/foc_x86_64/include/amd64/l4/sys/segment.h:31,
                 from
/home/rishabh/genode-16.05/build/foc_x86_64/include/amd64/l4f/l4/sys/segment.h:1,
                 from arch/l4/include/asm/l4-arch/asm/segment.h:9,
                 from
/home/rishabh/genode-16.05/contrib/l4linux-60792b132cd767f53991729999939a28b742f74d/src/l4linux/arch/x86/include/asm/ptrace.h:4,
                 from
/home/rishabh/genode-16.05/contrib/l4linux-60792b132cd767f53991729999939a28b742f74d/src/l4linux/arch/x86/include/asm/vm86.h:5,
                 from arch/l4/include/asm/l4-arch/asm/processor.h:10,
                 from
/home/rishabh/genode-16.05/contrib/l4linux-60792b132cd767f53991729999939a28b742f74d/src/l4linux/arch/x86/include/asm/atomic.h:6,
                 from
/home/rishabh/genode-16.05/contrib/l4linux-60792b132cd767f53991729999939a28b742f74d/src/l4linux/include/linux/atomic.h:4,
                 from
/home/rishabh/genode-16.05/contrib/l4linux-60792b132cd767f53991729999939a28b742f74d/src/l4linux/include/linux/crypto.h:20,
                 from
/home/rishabh/genode-16.05/contrib/l4linux-60792b132cd767f53991729999939a28b742f74d/src/l4linux/arch/l4/kernel/../../x86/kernel/asm-offsets.c:8,
                 from
/home/rishabh/genode-16.05/contrib/l4linux-60792b132cd767f53991729999939a28b742f74d/src/l4linux/arch/l4/kernel/asm-offsets.c:2:
/home/rishabh/genode-16.05/build/foc_x86_64/include/l4/sys/__l4_fpage.h:71:3:
warning: left shift count >= width of type
   L4_FPAGE_ADDR_MASK    = ((1UL << L4_FPAGE_ADDR_BITS)   - 1) <<
L4_FPAGE_ADDR_SHIFT,
   ^
/home/rishabh/genode-16.05/build/foc_x86_64/include/l4/sys/__l4_fpage.h:71:3:
error: enumerator value for ‘L4_FPAGE_ADDR_MASK’ is not an integer constant
make[6]: *** [arch/l4/kernel/asm-offsets.s] Error 1
make[5]: *** [prepare0] Error 2
make[4]: *** [sub-make] Error 2
make[3]: *** [/home/rishabh/genode-16.05/build/foc_x86_64/l4linux/vmlinux]
Error 1
make[2]: *** [vmlinux.prg] 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


On Sun, Jun 26, 2016 at 10:53 AM, Nobody III <hungryninja101 at ...9...>
wrote:

> On the error lines, you can try replacing "unsigned" with "const char *".
> That should at least fix those errors. If that for some reason doesn't
> work, you can replace it with "unsigned long long", but that will make
> l4linux no longer compile for x86_32.
>
> On Sat, Jun 25, 2016 at 10:45 PM, john stokes <jstokes95.john at ...9...>
> wrote:
>
>> 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 at lists.sourceforge.net
>> https://lists.sourceforge.net/lists/listinfo/genode-main
>>
>>
>
>
> ------------------------------------------------------------------------------
> 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 at lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/genode-main
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20160626/15003f0e/attachment.html>


More information about the users mailing list