Matthias Welwarsky 946958cb72 aarch64: fix mode switching ...

DCPS only allows to enter higher ELs, for lower ELs you need to
use DRPS. Also, of course the encoding differs between A64 and T32.
Both DCPS and DRPS also clobber DLR and DSPSR, which then need to be
restored on resume.

Change-Id: Ifa3dcfa94212702e57170bd59fd0bb25495fb6fd
Signed-off-by: Matthias Welwarsky <matthias.welwarsky@sysgo.com>

2017-02-10 14:18:34 +01:00

..

flash

target: Add 64-bit target address support

2017-02-10 13:50:17 +01:00

helper

target: Add 64-bit target address support

2017-02-10 13:50:17 +01:00

jtag

target: Add 64-bit target address support

2017-02-10 13:50:17 +01:00

pld

Convert to non-recursive make

2016-12-08 16:23:10 +00:00

rtos

target: Add 64-bit target address support

2017-02-10 13:50:17 +01:00

server

server: Allow 64 address to be send over GBD server

2017-02-10 13:51:00 +01:00

svf

Convert to non-recursive make

2016-12-08 16:23:10 +00:00

target

aarch64: fix mode switching

2017-02-10 14:18:34 +01:00

transport

Convert to non-recursive make

2016-12-08 16:23:10 +00:00

xsvf

Convert to non-recursive make

2016-12-08 16:23:10 +00:00

hello.c

Remove FSF address from GPL notices

2016-05-24 22:30:01 +01:00

hello.h

Make #include guard naming consistent

2016-05-24 22:30:55 +01:00

main.c

Remove FSF address from GPL notices

2016-05-24 22:30:01 +01:00

Makefile.am

Convert to non-recursive make

2016-12-08 16:23:10 +00:00

openocd.c

Remove build date from banner for releases

2016-12-08 12:55:19 +00:00

openocd.h

Make #include guard naming consistent

2016-05-24 22:30:55 +01:00