L4Linux Kernel module

ba_f ba_f at rbg.informatik.tu-darmstadt.de
Wed Jan 6 16:59:11 CET 2016

Am 2016-01-04 23:37, schrieb Adam Lackorzynski:
> On Mon Jan 04, 2016 at 16:08:55 +0100, ba_f wrote:
>> are there any Makefiles for building a L4Linux Kernel Module?
>> Or can i just cross-compile for my ARCH, although the driver uses 
>> L4-IPC?
> There's no difference, so the standard way of building a module should
> just work (make -C ... M=...).
> Adam

Hi there,

running in an Error.

$ make -C obj/l4linux/arm-mp M=$PWD ARCH=arm 
CROSS_COMPILE=arm-linux-gnueabihf- modules

make: Entering directory 'obj/l4linux/arm-mp'
   CC [M]  hello.o
In file included from src/l4linux/include/asm-generic/int-ll64.h:10:0,
                  from src/l4linux/arch/arm/include/asm/types.h:4,
                  from src/l4linux/include/uapi/linux/types.h:4,
                  from src/l4linux/include/linux/types.h:5,
                  from src/l4linux/include/linux/list.h:4,
                  from src/l4linux/include/linux/module.h:9,
                  from hello.c:11:
src/l4linux/include/uapi/asm-generic/int-ll64.h:11:29: fatal error: 
asm/bitsperlong.h: No such file or directory
  #include <asm/bitsperlong.h>

The missing header has been generated in 
'obj/l4linux/arm-mp/arch/l4/include/generated/asm/bitsperlong.h' but 
isn't found.

Can i set an include path for Kbuild?
Or does this file has to be copied to a proper location?



More information about the l4-hackers mailing list