mirror/pico-sdk
1
0
Fork 0
mirror of https://github.com/raspberrypi/pico-sdk.git synced 2025-12-10 07:14:36 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

Enable hardware_irq library also in host and not only in rp2_common (#2596)

Browse source
This commit is contained in:
el-bert0 2025-07-28 18:56:56 +02:00 • committed by GitHub
parent 9227cadf84
commit 4635b37e68
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
3 changed files with 7 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/host.cmake
View file

@ -9,6 +9,7 @@ include (${CMAKE_DIR}/no_hardware.cmake)
pico_add_subdirectory(${COMMON_DIR}/boot_picobin_headers)
pico_add_subdirectory(${COMMON_DIR}/boot_picoboot_headers)
pico_add_subdirectory(${COMMON_DIR}/boot_uf2_headers)
pico_add_subdirectory(${COMMON_DIR}/hardware_claim)
pico_add_subdirectory(${COMMON_DIR}/pico_base_headers)
pico_add_subdirectory(${COMMON_DIR}/pico_usb_reset_interface_headers)
pico_add_subdirectory(${COMMON_DIR}/pico_bit_ops_headers)
@ -22,6 +23,7 @@ include (${CMAKE_DIR}/no_hardware.cmake)
# host-specific
pico_add_subdirectory(${HOST_DIR}/hardware_divider)
pico_add_subdirectory(${HOST_DIR}/hardware_gpio)
pico_add_subdirectory(${HOST_DIR}/hardware_irq)
pico_add_subdirectory(${HOST_DIR}/hardware_sync)
pico_add_subdirectory(${HOST_DIR}/hardware_timer)
pico_add_subdirectory(${HOST_DIR}/hardware_uart)

3
src/host/hardware_irq/include/hardware/irq.h
View file

@ -24,7 +24,8 @@
#endif
#include "pico.h"
#include "hardware/regs/intctrl.h"
// TODO: No hardware/regs/intctrl.h for host yet.
// #include "hardware/regs/intctrl.h"
/** \file irq.h
* \defgroup hardware_irq hardware_irq

3
src/host/pico_platform/include/hardware/platform_defs.h
View file

@ -15,6 +15,9 @@
#define NUM_ALARMS 4u
#define NUM_IRQS 32u
#define NUM_USER_IRQS 6u
#define FIRST_USER_IRQ (NUM_IRQS - NUM_USER_IRQS)
#define VTABLE_FIRST_IRQ 16
#define NUM_SPIN_LOCKS 32u