040000 tree c642294eb4a35c9c7de8de499dee57a573ad7733	aarch64
040000 tree 4bbe55105c4166e9018f09a0e12c70780b372811	aarch64_sel4
040000 tree f2cc807deb1650dc5404ff9e1d48d498c40f4912	arm
040000 tree 6167a2452e9bd2727099ba793e850b3061ab8e55	arm_sel4
040000 tree 30f5c0d039a58722c7f6e0e1372a57949d6aea13	generic
040000 tree b41a2e05f6d6ee09c15643b205a66e6e4f12fa0f	i386
040000 tree 85aed482bb52144f509d7564c677084aba5f8277	i386_sel4
040000 tree 9bb19323e836b06c8b8c5a0818f442fdc4e1c75d	microblaze
040000 tree faf5ead33574d2bade5b86ca13c1c0035c405bf7	mips
040000 tree 314f53f6989967dc73b7a5baab56f61e87532aaa	mips64
040000 tree 7fd1ce7c1bba47eeefc4333d1fc2b6329b21ad92	mipsn32
040000 tree 48e99824343f590373a697018f3fd198a2dec1bc	or1k
040000 tree b4343c01c6f97c2a8fd448e9abf5a2092aca369b	powerpc
040000 tree cc5db18cdad9f72106aec00ea834fe77a49ec6d1	powerpc64
040000 tree 72100deed0c0eff0a5ed5a5df4fd25668676995c	riscv
120000 blob ce7b6f27a82d1b0f333142303ba7d26500fce7c1	riscv_sel4
040000 tree d54c07417fe71b12247f12fbe09a0c15ad40f63a	s390x
040000 tree 4b5e7bac1d1fd3f6792e44c4c99d0ae68f74f55b	sh
040000 tree 701d28313a650ce206cab72fc5858a7e2d056f4c	x32
040000 tree 12bbc77196189c42981ef5e9887ea303b0c30f41	x86_64
040000 tree 0846ee031036634e7defd82e72c91e0ef4e884b2	x86_64_sel4