Workaround to build l4linux for ARM Target

Leslie Zhai lesliezhai at
Wed Jan 10 05:30:49 CET 2018

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:

├── io.h -> /data/project/xiangzhai/l4re/l4/pkg/io/libio-io/include/io.h
├── pciids.h -> 
└── 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 :)

Leslie Zhai -

More information about the l4-hackers mailing list