Merge branch 'master' of ssh://github.com/ARM-software/devlib

Change-Id: I6d3051f6ef0e49ea2efb26daec42ff1cd0dce8b0
tree: 7cc246329b1ea3670696d0a3577f5be9e0b26cda
  1. devlib/
  2. doc/
  3. src/
  4. .gitignore
  5. README.rst
  6. setup.py