…
..
aarch64	…
include	…
morello_bl31_setup.c	…
morello_def.h	…
morello_interconnect.c	…
morello_plat.c	…
morello_security.c	…
morello_topology.c	…
platform.mk	…