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