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