diff options
| author | Ha Thach <[email protected]> | 2023-03-17 14:57:13 +0700 |
|---|---|---|
| committer | GitHub <[email protected]> | 2023-03-17 14:57:13 +0700 |
| commit | 96d064e923dbc1c86a247ada0395923667cca468 (patch) | |
| tree | b5130a3933bb70e1942e78ae3f167335ec4afe36 | |
| parent | 6b84a29f8c7737e4cc832e2b61080dcb7c29974f (diff) | |
| parent | eb7aacb51f00a55867304d6217dcaaf39f7019c0 (diff) | |
Merge pull request #1860 from howard0su/pico_freertos
Allow config OS for RP2040
| -rw-r--r-- | hw/bsp/rp2040/family.cmake | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/hw/bsp/rp2040/family.cmake b/hw/bsp/rp2040/family.cmake index 82010efef..678bce274 100644 --- a/hw/bsp/rp2040/family.cmake +++ b/hw/bsp/rp2040/family.cmake @@ -23,6 +23,10 @@ if (NOT TARGET _rp2040_family_inclusion_marker) set(PICO_TINYUSB_PATH ${TOP}) endif() + if (NOT TINYUSB_OPT_OS) + set(TINYUSB_OPT_OS OPT_OS_PICO) + endif() + #------------------------------------ # Base config for both device and host; wrapped by SDK's tinyusb_common #------------------------------------ @@ -54,7 +58,7 @@ if (NOT TARGET _rp2040_family_inclusion_marker) target_compile_definitions(tinyusb_common_base INTERFACE CFG_TUSB_MCU=OPT_MCU_RP2040 - CFG_TUSB_OS=OPT_OS_PICO + CFG_TUSB_OS=${TINYUSB_OPT_OS} #CFG_TUSB_DEBUG=${TINYUSB_DEBUG_LEVEL} ) |