found this - but no disclosure on the wifi chip - http://www.linuxdevices.com/news/NS7004794073.html

Rumours have spread on the forum that the chipset is WL1251 from TI. However as the product is NDA, nothing will be released until the machine ships. Either way, wpa_supplicant drivers will be the ones run.