9os

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README | LICENSE

commit 4fcd2f187ce6d417de018324bd6463dd264cfb0c
parent c35cffa964d51d9d7c6c59e67b9fab562a928744
Author: Dimitris Papastamos <dimitris.papastamos@arm.com>
Date:   Wed,  7 Nov 2018 12:21:21 +0000

[rcode] Enter debug interpreter on panic

Change-Id: If9c44e1f889040f7bdff7f71af4a86312aa61f40
Signed-off-by: Dimitris Papastamos <dimitris.papastamos@arm.com>

Diffstat:
Msrc/rmc.c | 2++
1 file changed, 2 insertions(+), 0 deletions(-)

diff --git a/src/rmc.c b/src/rmc.c @@ -71,6 +71,8 @@ void panic(const char *msg) { bss->errstr = msg; + if (bss->in_debug) + longjmp(bss->dbgrecover, 1); dopanic(); }