Workaround to build l4linux for ARM Target

[Leslie Zhai]

/data/download/gcc-linaro-7.2.1-2017.11-x86_64_arm-linux-gnueabihf/bin/arm-linux-gnueabihf-ld 
-EL --defsym __L4_KIP_ADDR__= --defsym __l4sys_invoke_direct=+ --defsym 
__l4sys_debugger_direct=+ --build-id -o .tmp_vmlinux1 -T 
./arch/l4/kernel/vmlinux.lds --whole-archive built-in.o 
--no-whole-archive --start-group lib/lib.a arch/l4/lib/arch-arm/lib.a 
arch/l4/l4lxlib/generic/lib.a arch/l4/l4lxlib/l4env/lib.a 
/data/project/xiangzhai/l4re/l4/build-freescale-imx6/lib/arm_armv7a/l4f/libl4sys.a 
/data/project/xiangzhai/l4re/l4/build-freescale-imx6/lib/arm_armv7a/l4f/libl4sys-direct.a 
/data/project/xiangzhai/l4re/l4/build-freescale-imx6/lib/arm_armv7a/l4f/libgcc-l4.a 
--end-group
/data/download/gcc-linaro-7.2.1-2017.11-x86_64_arm-linux-gnueabihf/bin/arm-linux-gnueabihf-ld:--defsym:0: 
syntax error


so I also workaround to `cp` from L4Re previous svn75, for example:

l4defs.sh.inc:L4_BID_KIP_ADDR="0xaffff000"
l4defs.mk.inc:L4_BID_KIP_ADDR = 0xaffff000

also for L4_BID_KIP_ADDR, L4_BID_KIP_OFFS_SYS_INVOKE, 
L4_BID_KIP_OFFS_SYS_DEBUGGER needed by l4linux/arch/l4/Makefile.

But I have no idea why svn76 failed to auto-generated l4defs.sh.inc or 
l4defs.mk.inc.

在 2018年01月10日 12:30, Leslie Zhai 写道:
> Hi l4 hackers,
>
> ../arch/l4/arm-mach-l4/l4.c:33:10: fatal error: l4/io/io.h: No such 
> file or directory
>  #include <l4/io/io.h>
>           ^~~~~~~~~~~~
> compilation terminated.
>
>
> so I just workaround to `ln -s` manually:
>
> build-freescale-imx6/include/l4/io/
> ├── io.h -> /data/project/xiangzhai/l4re/l4/pkg/io/libio-io/include/io.h
> ├── pciids.h -> 
> /data/project/xiangzhai/l4re/l4/pkg/io/io/server/libpciids/include/pciids.h
> └── types.h -> 
> /data/project/xiangzhai/l4re/l4/pkg/io/libio-io/include/types.h
>
> l4re version: svn76
>
> l4linux version: svn57
>
> GNU toolchain: gcc version 7.2.1 20171011 (Linaro GCC 7.2-2017.11)
>
> I think it might be `Makefile` simple issue :)
>

-- 
Regards,
Leslie Zhai - https://reviews.llvm.org/p/xiangzhai/