Compiling Kernel Modules for Genode on iMX53 with TrustZone

[Stefan Kalkowski]

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 at lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/genode-main
> 

-- 
Stefan Kalkowski
Genode Labs

https://github.com/skalk · http://genode.org/