Hey,

I'm attempting to make a simple reboot feature on Freescale's iMX53-QSB. I'm currently working using the tz_vmm example.

So, I understand that the way to achieve that on this board is through the watchdog timer,

I followed the Linux kernel code that does this, and implemented a kernel module that does only the reboot part, this what i came up with:
-

volatile unsigned short *wdog1_base = (volatile unsigned short*) 0xf7e98000;

*wdog1_base = (1 << 2);
-

This exact code, i a kernel module, does an immediate reset and i get the u-boot shell.

All of this is done on the normal world of course, now i wish to have this in the secure world,

Running the exact same code in the secure world, in the handle hypercall routine i get:

-
no RM attachment (faulter 129090 with IP 70014c28 attempts to write to address f7e98000)

void Genode::Pager_object::unresolved_page_fault_occurred(): not implemented

unknown signal context
-

Any idea's how to achieve my reset from the secure world ?

Also, if someone could shed some light about the error, I'm not that familiar with Genode, just starting to work with it.

Thanks in advanced.