100644 blob 2f064914a83172331990d03399b730bb8df2dce0	mod.rs
100644 blob e9bf29e34f90cf82aa6cf0155a4805e84ede5ce7	motor.rs
100644 blob 8c9c17d3f171407e63ba9dd6987b230e172fcc89	sgx.rs
040000 tree 05a37804a6f199229fb34dcd4ee6eb4d62f1a3f4	socket
040000 tree 5ddd04b8d9885800ed5318cc1b49d794ac0a6d12	uefi
100644 blob fb18e8dec557cd43af7ca294462f17e5b8905ac2	unsupported.rs
100644 blob 048dafdcd7f7cafd3f16205be778b2267a5c5a2a	wasip1.rs
040000 tree a06d8563b359916a74749665ec012c12f6278671	xous