aarch64
|
Use SPDX license identifiers
|
2017-05-03 09:39:28 +01:00 |
drivers/timer
|
Use SPDX license identifiers
|
2017-05-03 09:39:28 +01:00 |
include
|
Use SPDX license identifiers
|
2017-05-03 09:39:28 +01:00 |
bl31.ld.S
|
Use SPDX license identifiers
|
2017-05-03 09:39:28 +01:00 |
plat_delay_timer.c
|
Use SPDX license identifiers
|
2017-05-03 09:39:28 +01:00 |
plat_mt_gic.c
|
Use SPDX license identifiers
|
2017-05-03 09:39:28 +01:00 |
plat_pm.c
|
Use SPDX license identifiers
|
2017-05-03 09:39:28 +01:00 |
plat_topology.c
|
Use SPDX license identifiers
|
2017-05-03 09:39:28 +01:00 |
platform.mk
|
Use SPDX license identifiers
|
2017-05-03 09:39:28 +01:00 |
power_tracer.c
|
Use SPDX license identifiers
|
2017-05-03 09:39:28 +01:00 |
scu.c
|
Use SPDX license identifiers
|
2017-05-03 09:39:28 +01:00 |