MemberJanuary 16, 2019 at 3:10 pm
I am happy that it is solved now, but the behaviour you have described is strange.
We have checked the BSP definition JSON file and it seems to be correct.
Bad CRC is known problem of Arduino IDE – just try to install it more times.
We have tried to install it in the same way like you and everything works fine. (Windows 10)
Just let us know if you have any troubles with the BSP.