arm-trusted-firmware/drivers/arm
Juan Castillo 3804197383 Add a simple ARM SP805 watchdog driver
Based on SP805 Programmer's model (ARM DDI 0270B). This driver
provides three public APIs:

    void sp805_start(uintptr_t base, unsigned long ticks);
    void sp805_stop(uintptr_t base);
    void sp805_refresh(uintptr_t base, unsigned long ticks);

Upon start, the watchdog starts counting down from the number of
ticks specified. When the count reaches 0 an interrupt is triggered.
The watchdog restarts counting down from the number of ticks
specified. If the count reaches 0 again, the system is reset. A
mechanism to handle the interrupt has not been implemented. Instead,
the API to refresh the watchdog should be used instead to prevent a
system reset.

Change-Id: I799d53f8d1213b10b341a4a67fde6486e89a3dab
2015-11-27 09:34:20 +00:00
..
cci Use uintptr_t as base address type in ARM driver APIs 2015-07-09 11:53:32 +01:00
cci400 Fix debug assertion in deprecated CCI-400 driver 2015-10-12 10:21:55 +01:00
ccn Add a generic driver for ARM CCN IP 2015-09-14 22:09:40 +01:00
gic Add ARM GICv2 driver 2015-11-26 12:29:48 +00:00
pl011 Use uintptr_t as base address type in ARM driver APIs 2015-07-09 11:53:32 +01:00
sp804 Add SP804 delay timer driver 2015-06-18 16:06:26 +01:00
sp805 Add a simple ARM SP805 watchdog driver 2015-11-27 09:34:20 +00:00
tzc400 Use uintptr_t as base address type in ARM driver APIs 2015-07-09 11:53:32 +01:00