Re: [PATCH v3 03/16] hw/timer/bcm2835: Add the BCM2835 SYS_timer

2019-10-24 Thread Philippe Mathieu-Daudé
On 10/21/19 10:31 PM, Alistair Francis wrote: On Sat, Oct 19, 2019 at 4:47 PM Philippe Mathieu-Daudé wrote: 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/kern

Re: [PATCH v3 03/16] hw/timer/bcm2835: Add the BCM2835 SYS_timer

2019-10-21 Thread Alistair Francis
On Sat, Oct 19, 2019 at 4:47 PM Philippe Mathieu-Daudé wrote: > > 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/c

[PATCH v3 03/16] hw/timer/bcm2835: Add the BCM2835 SYS_timer

2019-10-19 Thread Philippe Mathieu-Daudé
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/v