diff options
| author | Chandni Cherukuri <chandni.cherukuri@arm.com> | 2019-02-22 16:44:49 +0530 |
|---|---|---|
| committer | Chandni Cherukuri <chandni.cherukuri@arm.com> | 2019-02-27 12:34:39 +0530 |
| commit | 240f03b783bb1e531c55badf601c52c5f927f2d2 (patch) | |
| tree | 3a9eb9e63357299c58c16eec0d16a3398558162b /docs/platform-interrupt-controller-API.rst | |
| parent | f717eca9e5a169b7f4a7a68200d2b6d74baf1a17 (diff) | |
board/rde1edge: rename sgiclarkh to rde1edge
Replace all usage of 'sgiclark' with 'rdn1e1edge' and 'sgiclarkh' with
'rde1edge' as per the updated product names.
Change-Id: I14e9b0332851798531de21d70eb54f1e5557a7bd
Signed-off-by: Chandni Cherukuri <chandni.cherukuri@arm.com>
Diffstat (limited to 'docs/platform-interrupt-controller-API.rst')
0 files changed, 0 insertions, 0 deletions