040000 tree f8aa41598ec336be62e9d68da5260764c7b02a2e	arduino_101
100644 blob 9c5a63bd205950ebebb8d36b26acc19d0f53e1ac	boards.rst
040000 tree df63c3ba71896b8fcd5f604fcc24ad736805678b	microbit
040000 tree 6ac0d7c240cccf24d905b0e2fe20333a8aee6b76	quark_se_c1000