You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
 
 
Juan Castillo 02462972c9 Use uintptr_t as base address type in ARM driver APIs 10 years ago
..
arm_gic.h Use uintptr_t as base address type in ARM driver APIs 9 years ago
cci.h Use uintptr_t as base address type in ARM driver APIs 9 years ago
cci400.h Use uintptr_t as base address type in ARM driver APIs 9 years ago
gic_v2.h Use uintptr_t as base address type in ARM driver APIs 9 years ago
gic_v3.h Make system register functions inline assembly 11 years ago
pl011.h Parametrize baudrate and UART clock during console_init() 10 years ago
sp804_delay_timer.h Add SP804 delay timer driver 10 years ago
tzc400.h Use uintptr_t as base address type in ARM driver APIs 9 years ago