[PATCH] dev/irq: Improve Doxgyen group assignments

Make the GIC interrupt controller support a subgroup of the generic interrupt controller support. --- bsps/aarch64/include/dev/irq/arm-gic-arch.h| 13 +++-- bsps/arm/include/dev/irq/arm-gic-arch.h| 13 +++-- bsps/include/dev/irq/arm-gic-irq.h | 15 ++

[PATCH] bsps/aarch64/raspberrypi: Add system timer support

The clock from the ARM timer is derived from the system clock. This clock can change dynamically e.g. if the system goes into reduced power or in low power mode. Thus the clock speed adapts to the overall system performance capabilities. For accurate timing it is recommended to use the system ti

Re: [PATCH 1/2] dev/clock: Move bcm2835-system-timer driver to shared space

Hi Ning, Patch 1 looks good. Instead of renaming it, you can include bcm2711.h in the RPi4's raspberrypi.h or in bsp.h so that the RPi4 BSP remains largely unchanged. Kinsey On Wed, Apr 10, 2024 at 2:14 AM yan...@qq.com wrote: > Hi Mr. Kinsey Moore, > > Thank you very much for your help. > > I

[PATCH 2/3] bsps/xil-ttc: Add XIL_FATAL_TTC_IRQ_INSTALL

--- bsps/include/bsp/fatal.h | 3 + bsps/shared/dev/clock/xil-ttc.c | 6 +- .../bsps/fatal-clock-xil-ttc-irq-install.yml | 21 ++ spec/build/testsuites/validation/grp.yml | 2 + .../bsps/tr-fatal-clock-xil-ttc-irq-install.c | 187 ++

[PATCH 0/3] Improve Xilinx TTC clock driver

Sebastian Huber (3): bsps/xil-ttc: Use interrupt entry bsps/xil-ttc: Add XIL_FATAL_TTC_IRQ_INSTALL bsps/xil-ttc: Improve clock driver bsps/arm/xilinx-zynqmp-rpu/include/bsp.h | 3 - bsps/arm/xilinx-zynqmp-rpu/include/bsp/irq.h | 1 - bsps/include/bsp/fatal.h |

[PATCH 1/3] bsps/xil-ttc: Use interrupt entry

--- bsps/shared/dev/clock/xil-ttc.c | 14 ++ 1 file changed, 10 insertions(+), 4 deletions(-) diff --git a/bsps/shared/dev/clock/xil-ttc.c b/bsps/shared/dev/clock/xil-ttc.c index 340c428a48..384f23663b 100644 --- a/bsps/shared/dev/clock/xil-ttc.c +++ b/bsps/shared/dev/clock/xil-ttc.c

[PATCH 3/3] bsps/xil-ttc: Improve clock driver

Make the clock driver parameters configurable. Use the maximum counter frequency to get the best time resolution. Decouple the CPU counter from the timecounter. Make the tick catch up handling more robust. Add a validation test for the tick catch up. --- bsps/arm/xilinx-zynqmp-rpu/include/bsp.

Re: [PATCH 1/2] dev/clock: Move bcm2835-system-timer driver to shared space

Hi Mr. Kinsey Moore, Thank you very much for your help. I just sent patch 1. And about patch2, I have a question: In shared/dev/clock/bcm2835-system-timer.c: #if RTEMS_BSP == raspberrypi4b #include #else #include #endif /* RTEMS_BSP */ Do I need to rename bcm2711.h in rpi4 BSP to raspberrypi