Guest: add makefile targets for all arch

Signed-off-by: Luca Bruno <lucab@debian.org>
Annotation: enable plugin on ARM

Signed-off-by: Luca Bruno <lucab@debian.org>
ConfigFile: fix reading and writing PC

Signed-off-by: Luca Bruno <lucab@debian.org>
CodeSelector: enable plugin on ARM

Signed-off-by: Luca BRUNO <lucab@debian.org>
Debugger: enable plugin on ARM

Signed-off-by: Luca BRUNO <lucab@debian.org>
StackMonitor: enable plugin for ARM

Signed-off-by: Luca BRUNO <lucab@debian.org>
MemoryTracer: rework sub-opcode extraction

Signed-off-by: Luca BRUNO <lucab@debian.org>
Enable MemoryTracer and MemoryChecker on ARM

Signed-off-by: Luca BRUNO <lucab@debian.org>
StackChecker: enable plugin on ARM

Signed-off-by: Luca Bruno <lucab@debian.org>
StackChecker: typo fix

Signed-off-by: Luca Bruno <lucab@debian.org>
Fix hooking in ARM opcode translation

Signed-off-by: Luca BRUNO <lucab@debian.org>
Pids are not yet tracked on ARM, check for a semantic NULL pid

Signed-off-by: Luca Bruno <lucab@debian.org>
Annotation: make triggers output clearer

Signed-off-by: Luca Bruno <lucab@debian.org>
Optionally specify a calling convention to LUA readParameter

Signed-off-by: Luca Bruno <lucab@debian.org>
Optionally specify a calling convention to LUA writeParameter

Signed-off-by: Luca Bruno <lucab@debian.org>
ExecutionTracers: proper ARM register tracing
Core: add macros for target opcodes handling

Signed-off-by: Luca Bruno <lucab@debian.org>
CooperativeSearcher: port plugin to ARM

Signed-off-by: Luca Bruno <lucab@debian.org>
HostFiles: port plugin to ARM

Signed-off-by: Luca BRUNO <lucab@debian.org>
Doc: remove ARM specific README

Instructions for building and using the ARM port are the same as
normal S2E.

Signed-off-by: Luca Bruno <lucab@debian.org>