Hi Mauricio, On 10/25/2017 12:39 AM, Mauricio Gutierrez Barnett wrote: > Hello, > > I have a question about adding kernel modules to the Genode OS. > > So I have built and boot the tz_vmm scenario for platform > hw_imx53_qsb_tz on the i.MX53 development board using another thread on > this mailing list as a guide. I was able to get it up and running on the > board with no problems. > However, I need to install a kernel module into the normal world linux. > In order to do this I need to be able to cross compile the module for > the target kernel running in normal world from my desktop. > However, while I have access to the target compiler I do not have a > target kernel directory. > That is, only the final image of linux is provided, not the source code > used to compile it.
it is available. I referred to it several times on this mailing list. The Linux kernel used within the tz_vmm.run test script was built using the following Linux kernel branch, which is slightly modified to not crash within the normal world based on the official sources provided by Freescale: https://github.com/skalk/linux/tree/imx53-tz > I know the version is provided as Linux version 2.6.35.3-01270-g9533414. > However, if I try to use the 2.6.35.3-generic version as a target I get > a symbol version error when I try to insmod: > > "disagrees about version of symbol kmalloc_caches > Unknown symbol kmalloc_caches (err -22)" > > I believe this is because the kernel running in the normal world has > been modified. The Freescale sources and vanilla Linux sources are quite different from each other. I assume it clashes therefore. Regards Stefan > I am wondering if there is another way for me to compile kernel modules > for Genode. If not, would it be possible for you to release the source > code of your modified kernel which you used to create the Linux Image > that runs in the normal world? > > Thank you for your time, > > Mauricio Gutierrez > > > ------------------------------------------------------------------------------ > Check out the vibrant tech community on one of the world's most > engaging tech sites, Slashdot.org! http://sdm.link/slashdot > > > > _______________________________________________ > genode-main mailing list > genode-main@lists.sourceforge.net > https://lists.sourceforge.net/lists/listinfo/genode-main > -- Stefan Kalkowski Genode Labs https://github.com/skalk · http://genode.org/ ------------------------------------------------------------------------------ Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot _______________________________________________ genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
