usermodule/bl00mbox: fix includes

components/micropython/CMakeLists.txt

@@ -106,6 +106,7 @@ set(IDF_COMPONENTS
     flow3r_bsp
     st3m
     ctx
+    bl00mbox
 
     app_update
     bootloader_support

usermodule/micropython.cmake

 # If you want to add dependencies on other ESP-IDF modules, add them to
-# IDF_COMPONENTS in main/CMakeLists, as main/ is the component that the
-# usermodules are actually part of.
+# IDF_COMPONENTS in components/micropython/CMakeLists.txt, that is the component
+# that the usermodules are actually part of.
 
 add_library(usermod_badge23 INTERFACE)
 

usermodule/mp_bl00mbox.c

 #include <stdio.h>
+
 #include "py/runtime.h"
 #include "py/obj.h"
-// sorry ;w;
-#include "badge23/../../../bl00mbox/include/bl00mbox.h"
-#include "badge23/../../../bl00mbox/buds/tinysynth/tinysynth.h"
+
+#include "bl00mbox.h"
+#include "tinysynth.h"
 
 #if !MICROPY_ENABLE_FINALISER
 #error "BADGE23_SYNTH requires MICROPY_ENABLE_FINALISER"