040000 tree 4a17b33b07494c92a246bbe4b678e738e045adc5	arduino_101
100644 blob 9c5a63bd205950ebebb8d36b26acc19d0f53e1ac	boards.rst
040000 tree b9d44a169c95302cf3b75de7069db811c9b07e68	microbit
040000 tree 0eea328d3c24a6b9d4173225c10e0e0d3c4d285e	quark_se_c1000