path	mode	size
..	drwxr-xr-x
Kconfig	-rw-r--r--	486 b
Makefile	-rw-r--r--	122 b
psci.c	-rw-r--r--	14 KB
psci_checker.c	-rw-r--r--	12 KB