Re: L4Linux Kernel module
Adam Lackorzynski <[email protected]>
| Newsgroups | gmane.comp.micro-kernel.l4.devel |
|---|---|
| Message-ID | <[email protected]> |
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 [email protected] Lackorzynski http://os.inf.tu-dresden.de/~adam/