diff options
| author | Damien George <damien@micropython.org> | 2024-08-12 11:17:26 +1000 |
|---|---|---|
| committer | Damien George <damien@micropython.org> | 2024-08-28 11:52:08 +1000 |
| commit | 1090f1a60c730cd589f65047e105a22a0445721d (patch) | |
| tree | 84cf3fcd1b8c4bb6677b03042953fa4f222ffcc7 /docs/esp32 | |
| parent | 70a6791b09f9fad55b99e5996433888cee0a7a64 (diff) | |
shared/runtime/semihosting_arm: Add mp_semihosting_exit.
Signed-off-by: Damien George <damien@micropython.org>
Diffstat (limited to 'docs/esp32')
0 files changed, 0 insertions, 0 deletions