2021-01-20 19:47:18 -05:00
|
|
|
#pragma once
|
|
|
|
|
|
2021-07-30 18:45:50 -04:00
|
|
|
#include "pico-sdk-configboard.h"
|
|
|
|
|
|
2021-07-20 17:31:29 -04:00
|
|
|
// alphabetized
|
|
|
|
|
#define LIB_PICO_BINARY_INFO (0)
|
|
|
|
|
#define LIB_PICO_PRINTF_NONE (0)
|
|
|
|
|
#define LIB_PICO_PRINTF_PICO (0)
|
|
|
|
|
#define LIB_PICO_STDIO_SEMIHOSTING (0)
|
|
|
|
|
#define LIB_PICO_STDIO_UART (0)
|
|
|
|
|
#define LIB_PICO_STDIO_USB (0)
|
|
|
|
|
#define PICO_DIVIDER_DISABLE_INTERRUPTS (0)
|
|
|
|
|
#define PICO_DOUBLE_SUPPORT_ROM_V1 (1)
|
2021-01-20 19:47:18 -05:00
|
|
|
#define PICO_ENTER_USB_BOOT_ON_EXIT (0)
|
2021-07-20 17:31:29 -04:00
|
|
|
#define PICO_FLOAT_SUPPORT_ROM_V1 (1)
|
|
|
|
|
#define PICO_IE_26_29_UNCHANGED_ON_RESET (0)
|
|
|
|
|
#define PICO_INT64_OPS_IN_RAM (0)
|
2021-01-20 19:47:18 -05:00
|
|
|
#define PICO_NO_HARDWARE (0)
|
|
|
|
|
#define PICO_ON_DEVICE (1)
|
|
|
|
|
#define PICO_PRINTF_ALWAYS_INCLUDED (1)
|
2023-03-09 17:40:53 -05:00
|
|
|
#define PICO_RP2040_USB_DEVICE_ENUMERATION_FIX (1)
|
|
|
|
|
#define PICO_RP2040_USB_DEVICE_UFRAME_FIX (1)
|
2021-07-20 17:31:29 -04:00
|
|
|
#define PICO_STDIO_IGNORE_NESTED_STDOUT (0)
|
|
|
|
|
#define PICO_USE_CRT_PRINTF (0)
|
|
|
|
|
#define PICO_USE_OPTIMISTIC_SBRK (0)
|
|
|
|
|
#define PICO_USE_STACK_GUARDS (0)
|
