Is there a location that builds the zips for use? I am struggling to build the libraries and get the right combination of tools and SDKs. I just want to download the ARM64 version RPi BSP, but that doesn't seem to be an option. Could you please publish these as releases on this repo? I am trying to build a Win 10 IOT RPi 4 ARM64 FFU and that needs the RPi BSP ARM64 drivers.