diff options
author | Philippe Mathieu-Daudé <f4bug@amsat.org> | 2019-10-20 01:47:02 +0200 |
---|---|---|
committer | Peter Maydell <peter.maydell@linaro.org> | 2019-10-25 13:09:27 +0100 |
commit | d05be883fc92f6f57ba1805ff2a99deb035557a2 (patch) | |
tree | b9730e67b9cd7a874a1efa3636559f95689455da /hw/ipmi/isa_ipmi_bt.c | |
parent | d442d95f2fa6dcc9ab227903898fb94516cbbaed (diff) |
hw/timer/bcm2835: Add the BCM2835 SYS_timer
Add the 64-bit free running timer. Do not model the COMPARE register
(no IRQ generated).
This timer is used by Linux kernel and recently U-Boot:
https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/tree/drivers/clocksource/bcm2835_timer.c?h=v3.7
https://github.com/u-boot/u-boot/blob/v2019.07/include/configs/rpi.h#L19
Datasheet used:
https://www.raspberrypi.org/app/uploads/2012/02/BCM2835-ARM-Peripherals.pdf
Signed-off-by: Philippe Mathieu-Daudé <f4bug@amsat.org>
Reviewed-by: Alistair Francis <alistair.francis@wdc.com>
Message-id: 20191019234715.25750-4-f4bug@amsat.org
[PMM: squashed in switch to using memset in reset]
Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
Diffstat (limited to 'hw/ipmi/isa_ipmi_bt.c')
0 files changed, 0 insertions, 0 deletions