| commit | 41330f5d32d175de2b70eaed5031823c113b5961 | [log] [tgz] |
|---|---|---|
| author | Pedro Alves <pedro@palves.net> | Fri May 17 20:09:18 2024 +0100 |
| committer | Pedro Alves <pedro@palves.net> | Fri May 17 20:21:48 2024 +0100 |
| tree | 641f08cd772c9f9d3a0e67acb19219b041714376 | |
| parent | 5223cde0d5f7a74c31ce75c3ffb1064d8eeeaf54 [diff] |
Fix process-dies-after-detach - Need to flush pending kernel-side events - I realized that while we're detaching, we want to pass exceptions down to the inferior with DBG_EXCEPTION_NOT_HANDLED, instead of losing them. I ended up reusing a bit of code from the Linux target. Change-Id: Ifaa96b4a41bb83d868079af4d47633715c0e1940