Fwd: TrustZone Address Space Controller

Stefan Kalkowski stefan.kalkowski at ...1...
Fri Jan 2 12:36:11 CET 2015


On 12/28/2014 01:40 PM, Franc sylvester wrote:
> Hi all,
> I have two query to understand Genode basics.
> I am not able to understand the explanation given for Bitfield at line
> #140 in 
> repos/base/include/util/register.h
> " Bitfields are read and written according to their range, so if we have
> a 'Bitfield<2,3>' and write '0b11101' to it  only '0b101' (shiftet by 2
> bits) is written."
> can any body explain me what it means for ?

The Bitfield template has two template parameters: bit offset regarding
the position within the related register, and the bitfield's size in bits.
The example in the above cited comment represents bits 2, 3, and 4 of
the corresponding register. The comment is trying to explain that a
value greater than the bitfield's size gets truncated to these 3 bits
without further warnings.

> Stefan and Martin,
> I was trying to understand implemented TZASC driver in Genode for vea9x4
> board.
> can you suggest me some sources which have information used in 
> repos/os/src/server/tz_vmm/vea9x4/tsc_380.h

Here is the reference manual from ARM:


It is the only source used to implement the device driver mentioned above.
Of course the memory map of the Versatile Express Motherboard and the
Coretile Cortex A9x4 daughterboard is relevant too:




> Regards 
> Franc
> ------------------------------------------------------------------------------
> Dive into the World of Parallel Programming! The Go Parallel Website,
> sponsored by Intel and developed in partnership with Slashdot Media, is your
> hub for all things parallel software development, from weekly thought
> leadership blogs to news, videos, case studies, tutorials and more. Take a
> look and join the conversation now. http://goparallel.sourceforge.net
> _______________________________________________
> genode-main mailing list
> genode-main at lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/genode-main

Stefan Kalkowski
Genode Labs

http://www.genode-labs.com/ ยท http://genode.org/

More information about the users mailing list