diff --git a/py/runtime.c b/py/runtime.c index d4fe2ba88ba1c..8b1de8396f0bf 100644 --- a/py/runtime.c +++ b/py/runtime.c @@ -207,6 +207,10 @@ void mp_init(void) { void mp_deinit(void) { MP_THREAD_GIL_EXIT(); +#ifdef USE_YK + yk_mt_shutdown(mp_state_ctx.vm.ykmt); +#endif + // call port specific deinitialization if any #ifdef MICROPY_PORT_DEINIT_FUNC MICROPY_PORT_DEINIT_FUNC;