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 2e58a9280919c113e8b89d39b8aecf1682a10c8f	plat
100644 blob ec227e27f034b14640cd8b28154f020aa962572a	plat_internal.h
040000 tree 855a8c2066954b37736e9a2c33957dd960079274	sel4_arch
100644 blob 9eab4c6573ef803a4fa18344464ea81800a87546	serial.c
100644 blob e3324822769e69fc3b67b551514cf4a8c8df808e	timer_common.c
100644 blob 59827c1cbddd9e0e947c6a905e6672ba05338a7a	timer_common.h