tree 90f2add6e56cdd4926b64886a6b74abbf2440629
parent a8520fcedea33b7d2ae0e50172014c754ababc4c
author Matthew Fernandez <matthew.fernandez@nicta.com.au> 1463378443 +1000
committer Matthew Fernandez <matthew.fernandez@nicta.com.au> 1463379118 +1000

libsel4bench: Move ARMv7-a-specific file into subdirectory.

This restructure prevents this file being built for all ARM platforms,
restricting it to *only* ARMv7-a platforms. The irrelevant code was previously
ifdefed out, so it was not causing problems, but this change avoids invoking
the compiler at all on non-ARMv7-a platforms.