From 75f5a0a15986b83244dd76c7bf2189210606e5b8 Mon Sep 17 00:00:00 2001
From: Alessio Caiazza <nolith@abisso.org>
Date: Sat, 4 Dec 2021 19:17:30 +0100
Subject: [PATCH] Free shared channel resources on power down

---
 platform/drivers/display/display_libSDL.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/platform/drivers/display/display_libSDL.c b/platform/drivers/display/display_libSDL.c
index b35291e4..fd05a997 100644
--- a/platform/drivers/display/display_libSDL.c
+++ b/platform/drivers/display/display_libSDL.c
@@ -117,6 +117,8 @@ void display_terminate()
     {}         /* Wait until current render finishes */
     printf("Terminating SDL display emulator, goodbye!\n");
     free(frameBuffer);
+    chan_close(&fb_sync);
+    chan_terminate(&fb_sync);
 }
 
 void display_renderRows(uint8_t startRow, uint8_t endRow)