@@ -57,54 +57,55 @@ CROSS_COMPILE = arm-none-eabi-
57
57
58
58
HAL_DIR =hal/$(MCU_SERIES )
59
59
60
- INC += -I. \
61
- -I../.. \
62
- -I../lib/mp-readline \
63
- -I../shared/timeutils \
64
- -Iboards/$(BOARD ) \
65
- -Iboards/ \
66
- -isystem sdk/ \
67
- -isystem sdk/src/common/pico_base/include/ \
68
- -isystem sdk/src/common/pico_binary_info/include/ \
69
- -isystem sdk/src/common/pico_stdlib/include/ \
70
- -isystem sdk/src/common/pico_sync/include/ \
71
- -isystem sdk/src/common/pico_time/include/ \
72
- -isystem sdk/src/common/pico_util/include/ \
73
- -isystem sdk/src/rp2040/hardware_regs/include/ \
74
- -isystem sdk/src/rp2040/hardware_structs/include/ \
75
- -isystem sdk/src/rp2_common/hardware_adc/include/ \
76
- -isystem sdk/src/rp2_common/hardware_base/include/ \
77
- -isystem sdk/src/rp2_common/hardware_claim/include/ \
78
- -isystem sdk/src/rp2_common/hardware_clocks/include/ \
79
- -isystem sdk/src/rp2_common/hardware_divider/include/ \
80
- -isystem sdk/src/rp2_common/hardware_dma/include/ \
81
- -isystem sdk/src/rp2_common/hardware_flash/include/ \
82
- -isystem sdk/src/rp2_common/hardware_gpio/include/ \
83
- -isystem sdk/src/rp2_common/hardware_irq/include/ \
84
- -isystem sdk/src/rp2_common/hardware_i2c/include/ \
85
- -isystem sdk/src/rp2_common/hardware_pio/include/ \
86
- -isystem sdk/src/rp2_common/hardware_pll/include/ \
87
- -isystem sdk/src/rp2_common/hardware_resets/include/ \
88
- -isystem sdk/src/rp2_common/hardware_rtc/include/ \
89
- -isystem sdk/src/rp2_common/hardware_spi/include/ \
90
- -isystem sdk/src/rp2_common/hardware_sync/include/ \
91
- -isystem sdk/src/rp2_common/hardware_timer/include/ \
92
- -isystem sdk/src/rp2_common/hardware_uart/include/ \
93
- -isystem sdk/src/rp2_common/hardware_watchdog/include/ \
94
- -isystem sdk/src/rp2_common/hardware_xosc/include/ \
95
- -isystem sdk/src/rp2_common/pico_multicore/include/ \
96
- -isystem sdk/src/rp2_common/pico_fix/rp2040_usb_device_enumeration/include/ \
97
- -isystem sdk/src/rp2_common/pico_stdio/include/ \
98
- -isystem sdk/src/rp2_common/pico_printf/include/ \
99
- -isystem sdk/src/rp2_common/pico_float/include/ \
100
- -isystem sdk/src/rp2_common/pico_platform/include/ \
101
- -isystem sdk/src/rp2_common/pico_runtime/printf/include/ \
102
- -isystem sdk/src/rp2_common/pico_bootrom/include/ \
103
- -isystem sdk/src/rp2_common/pico_unique_id/include/ \
104
- -Isdk_config \
105
- -I../../lib/tinyusb/src \
106
- -I../../supervisor/shared/usb \
107
- -I$(BUILD )
60
+ INC += \
61
+ -I. \
62
+ -I../.. \
63
+ -I../lib/mp-readline \
64
+ -I../shared/timeutils \
65
+ -Iboards/$(BOARD ) \
66
+ -Iboards/ \
67
+ -isystem sdk/ \
68
+ -isystem sdk/src/common/pico_base/include/ \
69
+ -isystem sdk/src/common/pico_binary_info/include/ \
70
+ -isystem sdk/src/common/pico_stdlib/include/ \
71
+ -isystem sdk/src/common/pico_sync/include/ \
72
+ -isystem sdk/src/common/pico_time/include/ \
73
+ -isystem sdk/src/common/pico_util/include/ \
74
+ -isystem sdk/src/rp2040/hardware_regs/include/ \
75
+ -isystem sdk/src/rp2040/hardware_structs/include/ \
76
+ -isystem sdk/src/rp2_common/hardware_adc/include/ \
77
+ -isystem sdk/src/rp2_common/hardware_base/include/ \
78
+ -isystem sdk/src/rp2_common/hardware_claim/include/ \
79
+ -isystem sdk/src/rp2_common/hardware_clocks/include/ \
80
+ -isystem sdk/src/rp2_common/hardware_divider/include/ \
81
+ -isystem sdk/src/rp2_common/hardware_dma/include/ \
82
+ -isystem sdk/src/rp2_common/hardware_flash/include/ \
83
+ -isystem sdk/src/rp2_common/hardware_gpio/include/ \
84
+ -isystem sdk/src/rp2_common/hardware_irq/include/ \
85
+ -isystem sdk/src/rp2_common/hardware_i2c/include/ \
86
+ -isystem sdk/src/rp2_common/hardware_pio/include/ \
87
+ -isystem sdk/src/rp2_common/hardware_pll/include/ \
88
+ -isystem sdk/src/rp2_common/hardware_resets/include/ \
89
+ -isystem sdk/src/rp2_common/hardware_rtc/include/ \
90
+ -isystem sdk/src/rp2_common/hardware_spi/include/ \
91
+ -isystem sdk/src/rp2_common/hardware_sync/include/ \
92
+ -isystem sdk/src/rp2_common/hardware_timer/include/ \
93
+ -isystem sdk/src/rp2_common/hardware_uart/include/ \
94
+ -isystem sdk/src/rp2_common/hardware_watchdog/include/ \
95
+ -isystem sdk/src/rp2_common/hardware_xosc/include/ \
96
+ -isystem sdk/src/rp2_common/pico_multicore/include/ \
97
+ -isystem sdk/src/rp2_common/pico_fix/rp2040_usb_device_enumeration/include/ \
98
+ -isystem sdk/src/rp2_common/pico_stdio/include/ \
99
+ -isystem sdk/src/rp2_common/pico_printf/include/ \
100
+ -isystem sdk/src/rp2_common/pico_float/include/ \
101
+ -isystem sdk/src/rp2_common/pico_platform/include/ \
102
+ -isystem sdk/src/rp2_common/pico_runtime/printf/include/ \
103
+ -isystem sdk/src/rp2_common/pico_bootrom/include/ \
104
+ -isystem sdk/src/rp2_common/pico_unique_id/include/ \
105
+ -Isdk_config \
106
+ -I../../lib/tinyusb/src \
107
+ -I../../supervisor/shared/usb \
108
+ -I$(BUILD )
108
109
109
110
# Pico specific configuration
110
111
CFLAGS += -DRASPBERRYPI -DPICO_ON_DEVICE=1 -DPICO_NO_BINARY_INFO=0 -DPICO_TIME_DEFAULT_ALARM_POOL_DISABLED=0 -DPICO_DIVIDER_CALL_IDIV0=0 -DPICO_DIVIDER_CALL_LDIV0=0 -DPICO_DIVIDER_HARDWARE=1 -DPICO_DOUBLE_ROM=1 -DPICO_FLOAT_ROM=1 -DPICO_MULTICORE=1 -DPICO_BITS_IN_RAM=0 -DPICO_DIVIDER_IN_RAM=0 -DPICO_DOUBLE_PROPAGATE_NANS=0 -DPICO_DOUBLE_IN_RAM=0 -DPICO_MEM_IN_RAM=0 -DPICO_FLOAT_IN_RAM=0 -DPICO_FLOAT_PROPAGATE_NANS=1 -DPICO_NO_FLASH=0 -DPICO_COPY_TO_RAM=0 -DPICO_DISABLE_SHARED_IRQ_HANDLERS=0 -DPICO_NO_BI_BOOTSEL_VIA_DOUBLE_RESET=0
0 commit comments