Add a new armv8 board config.

Add it to the generic devices supported by ART.

Change-Id: I9f94ff5a7ec82388f62053286397147823a400b1
4 files changed
tree: eeb6fd9828c909b646529070880fb0b1264e290f
  1. arm_krait/
  2. armv8/