danh-arm 41099f4e74 Merge pull request #401 from sandrine-bailleux/sb/fix-sp804-bug-v2 ...

Bug fix in the SP804 dual timer driver

2015-09-30 15:18:15 +01:00

..

arm_gic.h

Use uintptr_t as base address type in ARM driver APIs

2015-07-09 11:53:32 +01:00

cci400.h

Use uintptr_t as base address type in ARM driver APIs

2015-07-09 11:53:32 +01:00

cci.h

Use uintptr_t as base address type in ARM driver APIs

2015-07-09 11:53:32 +01:00

ccn.h

Add a generic driver for ARM CCN IP

2015-09-14 22:09:40 +01:00

gic_v2.h

Use uintptr_t as base address type in ARM driver APIs

2015-07-09 11:53:32 +01:00

gic_v3.h

Make system register functions inline assembly

2014-06-10 15:26:14 +01:00

nic_400.h

Separate CSS security setup from SOC security setup

2015-09-11 11:50:26 +01:00

pl011.h

Parametrize baudrate and UART clock during console_init()

2014-07-28 10:44:04 +01:00

sp804_delay_timer.h

Bug fix in the SP804 dual timer driver

2015-09-28 16:33:00 +01:00

tzc400.h

Use uintptr_t as base address type in ARM driver APIs

2015-07-09 11:53:32 +01:00