// AUTOGENERATED FROM PICO_CONFIG_HEADER_FILES and then PICO__CONFIG_HEADER_FILES // DO NOT EDIT! // based on PICO_CONFIG_HEADER_FILES: #include "/var/home/valentinw/Projects/Calculator/dentachi-test-firmware/pico-sdk/src/boards/include/boards/pico2.h" #include "/var/home/valentinw/Projects/Calculator/dentachi-test-firmware/pico-sdk/src/rp2_common/cmsis/include/cmsis/rename_exceptions.h" // based on PICO_RP2350_ARM_S_CONFIG_HEADER_FILES: