Update BadgeELF, enable it only on ESP32-P4 targets

Author: robotman2412

components/badge-elf

@@ -2,8 +2,10 @@ if (CONFIG_BSP_TARGET_TANMATSU OR CONFIG_BSP_TARGET_KONSOOL OR CONFIG_BSP_TARGET
 list(APPEND files "tanmatsu_coprocessor.bin")
 endif()
 
-if (CONFIG_IDF_TARGET_ESP32P4)
-list(APPEND extra_requires esp-hosted-tanmatsu)
+# No, CONFIG_IDF_TARGET_ESP32P4 doesn't work. This does.
+idf_build_get_property(idf_target IDF_TARGET)
+if("${idf_target}" STREQUAL "esp32p4")
+list(APPEND extra_requires esp-hosted-tanmatsu badge-elf)
 endif()
 
 idf_component_register(
@@ -61,7 +63,6 @@ idf_component_register(
 		fatfs
 		nvs_flash
 		badge-bsp
-		badge-elf
 		gui
 		wpa_supplicant
 		esp_https_ota

components/badge-elf-api

@@ -29,10 +29,12 @@ static pax_buf_t                    fb                   = {0};
 static pax_col_t palette[] = {0xffffffff, 0xff000000, 0xffff0000};  // white, black, red
 #endif
 
+#if CONFIG_IDF_TARGET_ESP32P4
 // Display framebuffer returned by `asp_disp_get_fb`.
 extern uint8_t*   asp_disp_fb;
 // PAX buffer returned by `asp_disp_get_pax_buf`.
 extern pax_buf_t* asp_disp_pax_buf;
+#endif
 
 void display_init(void) {
     ESP_ERROR_CHECK(
@@ -82,8 +84,10 @@ void display_init(void) {
     }
     pax_buf_set_orientation(&fb, orientation);
 
+#if CONFIG_IDF_TARGET_ESP32P4
     asp_disp_fb      = pax_buf_get_pixels_rw(&fb);
     asp_disp_pax_buf = &fb;
+#endif
 }
 
 pax_buf_t* display_get_buffer(void) {

main/CMakeLists.txt

@@ -7,7 +7,9 @@
 #include "app_management.h"
 #include "app_metadata_parser.h"
 #include "appfs.h"
+#if CONFIG_IDF_TARGET_ESP32P4
 #include "badge_elf.h"
+#endif
 #include "bsp/input.h"
 #include "common/display.h"
 #include "filesystem_utils.h"
@@ -52,6 +54,7 @@ void execute_app(pax_buf_t* buffer, gui_theme_t* theme, pax_vec2_t position, app
     display_blit_buffer(buffer);
     printf("Starting %s (from %s)...\n", app->slug, app->path);
     if (!strcmp(app->interpreter, "BadgeELF")) {
+#if CONFIG_IDF_TARGET_ESP32P4
         size_t req = snprintf(NULL, 0, "%s/%s/%s", app->path, app->slug, app->main);
         if (req > PATH_MAX) {
             message_dialog(get_icon(ICON_ERROR), "Error", "Applet path is too long", "OK");
@@ -65,6 +68,9 @@ void execute_app(pax_buf_t* buffer, gui_theme_t* theme, pax_vec2_t position, app
             }
             free(path);
         }
+#else
+        message_dialog(get_icon(ICON_ERROR), "Error", "BadgeELF applets not supported on this platform", "OK");
+#endif
     } else if (app->appfs_fd != APPFS_INVALID_FD) {
         appfsBootSelect(app->appfs_fd, NULL);
         while (wifi_stack_get_task_done() == false) {

main/common/display.c

@@ -3,7 +3,6 @@
 #include <sys/unistd.h>
 #include <time.h>
 #include "apps.h"
-#include "badge_elf.h"
 #include "bsp/display.h"
 #include "bsp/input.h"
 #include "bsp/power.h"
@@ -153,11 +152,7 @@ void menu_home(void) {
                     if (event.args_navigation.state) {
                         switch (event.args_navigation.key) {
                             case BSP_INPUT_NAVIGATION_KEY_F1:
-                                if (event.args_navigation.modifiers & BSP_INPUT_MODIFIER_FUNCTION) {
-                                    bsp_power_set_radio_state(BSP_POWER_RADIO_STATE_OFF);
-                                } else {
-                                    badge_elf_start("/int/test.elf");
-                                }
+                                bsp_power_set_radio_state(BSP_POWER_RADIO_STATE_OFF);
                                 break;
                             case BSP_INPUT_NAVIGATION_KEY_F2:
                                 if (event.args_navigation.modifiers & BSP_INPUT_MODIFIER_FUNCTION) {