tree ff272023c3e03d79117570edb9bd549283a0a787
parent 712aa570e1bcbd37e5ce15c956d03fe494b6d2c8
author Michael Ryleev <gmar@google.com> 1427846976 -0700
committer Michael Ryleev <gmar@google.com> 1431989340 -0700

[vexpress-a15-trusty] Enable NS_MAPPING and TIPC

Change-Id: I5a5cfdee59642ad639cd5b4fdf8b27be90dabc4f