L4Linux Kernel module

Adam Lackorzynski adam at os.inf.tu-dresden.de
Tue Jan 12 23:42:50 CET 2016

On Mon Jan 11, 2016 at 22:44:54 +0100, ba_f wrote:
> Unfortunately, there's still a problem.
> I managed to build and run(!) a simple 'hello.ko'.
> But, i fail with more complex modules.
> Building works, but when loading my module with 'insmod' i get faults:
>   Page fault (non-resolved): pfa=9 pc=1011cec
>   Non-resolvable page fault at 9, ip 1011cec.

Hard to say something from this output. Would need more info.

> I'm sure the fault is not caused by my code because there is the same issue
> with legacy drivers.

Which ones?

> But, i guess something is wrong with the build process.
> e.g. let's take CONFIG_TCG_TPM in 'src/l4linux/driver/char/tpm'.
> This one does build and run successfully when setting CONFIG_TCG_TPM=m in
> 'obj/l4linux/.config' and than building complete l4linux.
> But it does not build when going to 'src/l4linux/driver/char/tpm' and 'make
> -C $L4re/obj/l4linux/arm-mp M=$PWD CROSS_COMPILE=arm-linux-gnueabihf-
> L4ARCH=arm CONFIG_TCG_TPM=m  modules V=1'.

That doesn't work even with a standard Linux tree, in the same way. I
think you cannot just put CONFIG_FOO=m on the command line, I guess the
redefinition errors come from that. For CONFIG_TCG_TPM you probably need
to configure it into .config which will also enable all the requirements
needed by CONFIG_TCG_TPM.

Adam                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/

More information about the l4-hackers mailing list