target-arm: Use target_phys_addr_t in get_phys_addr()

In the implementation of get_phys_addr(), consistently use
target_phys_addr_t to hold the physical address rather than
uint32_t.

Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
Add Eurecom contributors to AUTHORS

Added myself and Jonas to authors list.

Signed-off-by: Luca Bruno <lucab@debian.org>
Unify ARM BaseInstructions plugin

Add some conditional compilation to the base one, to avoid having
several per-arch codebase. Better abstraction still to be done.

Signed-off-by: Luca Bruno <lucab@debian.org>
Split qemu arch list in S2E Makefile

Signed-off-by: Luca Bruno <lucab@debian.org>
Add a minimal ARM testcase and related make rules

Signed-off-by: Luca Bruno <lucab@debian.org>
Only use TLS if not using S2E

Signed-off-by: Jonas Zaddach <zaddach@eurecom.fr>
Added compile flags for QEMU to not use sse3/sse4

Signed-off-by: Jonas Zaddach <zaddach@eurecom.fr>