Can a Linux kernel run as a TrustZone secure OS?

I have a samsung exynos 4412(Cortex-A9) development board. There is a simple secure os that can run on it. The normal os is Android. Now I am trying to select linux as the secure os. The linux kernel...
Can a Linux kernel run as a TrustZone secure OS?

I have a samsung exynos 4412(Cortex-A9) development board. There is a simple secure os that can run on it. The normal os is Android. Now I am trying to select linux as the secure os. The linux kernel...
How can we boot linux kernel in ARM FVP w/ TrustZone?

Hello, everyone. Let me post a question regarding booting Linux on ARM FVP (with Cortex-A9 MPCore). I'm setting up an experiment which uses TrustZone on ARM FVP. I'm not sure which kernel to run in the...
How can we boot linux kernel in ARM FVP w/ TrustZone?

Hello, everyone. Let me post a question regarding booting Linux on ARM FVP (with Cortex-A9 MPCore). I'm setting up an experiment which uses TrustZone on ARM FVP. I'm not sure which kernel to run in the...
Linux mmap'ed access with memset() gives an alignment issue on the newer Linux kernels

Hello, I have a memory area that is marked reserved in the Linux kernel, and I use that area as a shared buffer. I have registered that region in drivers/char/mem.c file and I do mmap'ed to the user...