100644 blob 71233902f53a1be8443dd2a96b4065f0805c9782	aarch32-sel4-none.json
100644 blob 04ec93515eb82c71930ca89fdfbf39ade9adbcc4	aarch64-sel4-none.json
100644 blob 8d012e95b701e86253816f80c43d44e1773ac0e2	x86_64-sel4-none.json