I’m installing the TLK (Trusted Little Kernel), an open source secure OS developed by NVIDIA, on Jetson TK1.
Even though I followed instructions in the TLK documents, it doesn’t work well.
It hangs without any message via the serial port.
According to some posts in this forum, it seems that someone succeed the implementation of the secure OS in TrustZone based on Jetson TK1.
So, could you give me some comments about the implementation of the secure OS in TrustZone?
I welcome any comment!