tree a5bb11a00e1e90bbcee266787e938ca97235b59a
parent 0c17e628ede994eb6bccad0329e3220f14e175eb
parent 742363e77be941ebd6210feecaf8b736ed7260ec
author Matthew Fernandez <Matthew.Fernandez@nicta.com.au> 1463532189 +0000
committer Matthew Fernandez <Matthew.Fernandez@nicta.com.au> 1463532189 +0000

Merge pull request #67 in SEL4/sel4_libs from ~MFERNANDEZ/sel4_libs:19812fa6-322c-457a-99c4-0c545d626a79 to master

* commit '742363e77be941ebd6210feecaf8b736ed7260ec':
  libsel4bench: Separate ARM sources by CPU.
  libsel4bench: Move ARMv7-a-specific file into subdirectory.