[PATCH 1/2] dev/clock: add bcm2835-system-timer driver

This patch ports the bcm2835 system timer driver in the arm/raspberrypi directory to the shared directory. Made some changes in the include section to adapt to rpi4 BSP. --- bsps/shared/dev/clock/bcm2835-system-timer.c | 114 +++ 1 file changed, 114 insertions(+) create mode 100

[PATCH 2/2] 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