tz_vmm application in genode

Stefan Kalkowski stefan.kalkowski at ...1...
Mon Nov 17 08:43:20 CET 2014


On 11/12/2014 05:22 AM, Abhay Amala wrote:
> Hi
> I am using tz_vmm example on i.mx53 qsb. In tz_vmm application, i can
> manage to transfer integer arguments using general registers (e.g.
> _vm->state()->r0=100) from secure world to guest VM (linux). How can i
> place a string (array of characters) arguments within the registers?
> They can only store value with data type uint32_t. Thanks in advance.

How about casting your character array to an uint32_t pointer? I think
you should start reading about pointer casting in C, e.g. here:

and about char arrays, e.g. here:

BTW. if you want to transfer strings with more than 48 characters, you
should think about using shared memory instead of registers, as it won't
fit into one register transfer (assuming 12 general purpose registers
can be used for characters).


> Regards,
> Abhay
> ------------------------------------------------------------------------------
> Comprehensive Server Monitoring with Site24x7.
> Monitor 10 servers for $9/Month.
> Get alerted through email, SMS, voice calls or mobile push notifications.
> Take corrective actions from your mobile device.
> _______________________________________________
> genode-main mailing list
> genode-main at

Stefan Kalkowski
Genode Labs ยท

More information about the users mailing list