Indeed the drivers will be provided in binary format directly from the Mali Developer Center. The aim is to provide developers all they need to get started in one place On your last note; it's more a question of availability - this is early stage hardware that is not manufactured in large volumes yet unfortunately. We therefore need to qualify these requests and use a queuing system. Have you requested a board btw?