len0rd/FreeRTOS-Kernel
1
0
Fork 0
mirror of https://github.com/FreeRTOS/FreeRTOS-Kernel.git synced 2025-12-06 13:15:19 -05:00
Code Issues Projects Releases Packages Wiki Activity

Update port.c

Browse source
This commit is contained in:
Sam Ledden 2025-11-24 16:06:45 -05:00 • committed by GitHub
parent 570ade4001
commit 530cdce024
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 6 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

6
portable/ThirdParty/GCC/RP2040/port.c vendored
View file

@ -40,6 +40,11 @@
#include "hardware/exception.h" #include "hardware/exception.h"
#include "hardware/irq.h" #include "hardware/irq.h"
#ifndef SIO_IRQ_PROC0
// Quick fix
#define SIO_IRQ_PROC0 15
#endif
#if ( portMAX_CORE_COUNT != 2 ) #if ( portMAX_CORE_COUNT != 2 )
#error Max core count should be 2 #error Max core count should be 2
#endif #endif
@ -908,3 +913,4 @@ __attribute__( ( weak ) ) void vPortSetupTimerInterrupt( void )
} }
} }
#endif /* configSUPPORT_PICO_TIME_INTEROP */ #endif /* configSUPPORT_PICO_TIME_INTEROP */