040000 tree efb4dceb5d282d0c00fd64ba2347d6dbd16a3ba5	non_plat
040000 tree a9358c2962c6ccdd4571d93f1dd4f5cd6c41d0b4	plat_private
040000 tree a50f9e0c9f986d2425d9c15a2aec47a2b32ff2bb	plat_public