trusty - Revision 6195: /n4d-hardware