Hi, Genode experts

Currently I'm working with the TrustZone VMM example from Genode based on Genode 16.05 on i.MX53 QSB.
And I want to move NIC device driver from normal world to secure world.

To achieve this, 
1. Change FEC setting of <CSU.h> to SECURE.
(original configuration of FEC is UNSECURE.)

However, data abort is occured during boot on imx53 qsb.

Is there any hints or suggestion to solve this problem?

Thank you for your attention.

Regards

Jinhon Kim