note.txct

beaglebord.cfg is configuration of the board
dtest.cfg is the configuration of the guest
guest_data.S is generated by dtest.cfg in the Makefile
arm_guest_blob.S this copy the guest into the initial phisical memory Before PT setup: it is equivalent at linking the guest binary in the right position
at run time this information is 
The trusted mode is in a specific guest

in start.S of guest the guest_data structure if filled with the right addresses