Unable to use csu_config.h to secure GPIO access from normal world

Hello I am using genode trustzone code on imx53 board. AFAIU, following lines in csu_config.h are supposed to regulate the access from normal world:

``` namespace Csu_config { enum { SECURE_GPIO = 1, SECURE_ESDHC = 0, SECURE_UART = 0, SECURE_I2C = 1, }; }; ```

Though GPIO is set secure, I am still able to set direction and value of gpios from the linux running in normal world, on top of tz_vmm running in secure world. Should it not raise some exception? Where am I going wrong?

Thanks Abhishek