040000 tree e309dbd3e0947d2a340df082ffd79b88cfc858d8	arch
100644 blob 0f4b502f15fd533d18651bdd27b7c1c6487f453d	common.c
100644 blob 5850386cdf9f6e7469e5d3633e9d2551e1117e5d	device.c
100644 blob 64eb5b9658ba20ae4f968e801a7467cbe1a3cae8	init.c
100644 blob d8170a30dc373ec484c1f3089a0aee87932886a7	io.c
040000 tree 41d4bccaa6b9c4aba2f110c4d25023fd62bc3cf2	mach
040000 tree ea642dcff8b13688a182ab268f1f29fa23df18ff	plat
100644 blob ec227e27f034b14640cd8b28154f020aa962572a	plat_internal.h
040000 tree 855a8c2066954b37736e9a2c33957dd960079274	sel4_arch
100644 blob 9eab4c6573ef803a4fa18344464ea81800a87546	serial.c
100644 blob ec17c594cf2e79c627e597caf81b636d4c1d1e60	timer_common.c
100644 blob 358ab0eb28a074f800e95960545f6c960cb8cfe0	timer_common.h