path	mode	size
..	drwxr-xr-x
Makefile	-rw-r--r--	56 b
interrupts.c	-rw-r--r--	9 KB
platform.c	-rw-r--r--	6 KB
prom.c	-rw-r--r--	2 KB
reset.c	-rw-r--r--	1 KB
setup.c	-rw-r--r--	2 KB