100644 blob 0fe72da0e50d97a43b6c9b48f7c3898f0bf2090b	plat.c
100644 blob 5efe53d0597606ba1b73706ea1c22cae6b14ae65	plat.h
040000 tree 1b41dcb4795d68de14c63bd1addb78acd58e9b70	plat
100644 blob c624a459c0f2289d189571f62abcbf68e20e8716	serial.c
100644 blob 55c615a6d6fc684e31a9392ac61dde62b249148a	serial.h
100644 blob b7884256a5234b69831440e390be75a2d91df0af	server_virtqueue.c
100644 blob 7e14e944f4ff7d5925c450143535bf32584ee652	server_virtqueue.h