Hello Stefan,
Thank you for clearing that up. However, I have been trying to compile the kernel and I am getting a lot of warnings and errors. That is, I am trying to cross compile the linux kernel for the tz_vmm for the imx53 on my VM runninng Ubuntu 16.04. I made sure to read the Changes in the documentation folder and have the required verisons of GNU, make, perl and perl modules as specified. I have also been looking around on the Mailing List and there is a link floating around to a guide for compiling the kernel for the tz_vmm scenario but when I click it it tells me the page no longer exists. That being said I do need to build the kernel to get the Module.symvers file among others. I have tried using both the imx5_defconfig and imx5_android_tz_defconfig but when I try to make I keep getting an error:
"Target processor does not support smc #0"
The commands I run look like this: make ARCH=arm CROSS_COMPILE=~/Documents/Genode/gcc-linaro-arm-none-eabi-4.9-2014.09_linux/bin/arm-none-eabi- distclean
make ARCH=arm CROSS_COMPILE=~/Documents/Genode/gcc-linaro-arm-none-eabi-4.9-2014.09_linux/bin/arm-none-eabi- imx5_defconfig
make ARCH=arm CROSS_COMPILE=~/Documents/Genode/gcc-linaro-arm-none-eabi-4.9-2014.09_linux/bin/arm-none-eabi-
Where the cross compiler is from the Genode toolchain.
I recently ran into the thread "Building Genode for Linux/ARM" [1] and there it says that the linux platforms do not support cross-compiling, but I think what they are doing is different? Otherwise, is this still true? If so, if I want to compile the kernel myself would I have to go through the process they did using qemu? I am new to this so sorry if these questions are not the best or missing information. Any help would be appreciated.
[1] https://sourceforge.net/p/genode/mailman/message/34123311/
Thank you,
Mauricio
On Wed, Oct 25, 2017 at 6:04 AM, Stefan Kalkowski < stefan.kalkowski@...1...> wrote:
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