Cross Reference: /seL4-refos-master/seL4_tools/elfloader-tool/src/plat/

Name		Date	Size
..		09-Mar-2020	17
exynos5/	H	09-Mar-2020	3
fvp/	H	09-Mar-2020	3
imx6/	H	09-Mar-2020	4
imx7/	H	09-Mar-2020	4
tk1/	H	13-Jul-2020	4
tx2/	H	09-Mar-2020	3
zynq7000/	H	02-Nov-2020	3