Hi, I have a pinebook pro and I've been playing around with the image provided on the guix website. One big limitation of the image is that it does not seem to include the firmware and drivers for free WiFi modules, such as the dongles using atheros 802.11n chips. With the atheros firmware and the required drivers (ath9k_htc) included in the image, the pbp would be a pretty neat little guix machine if paired with the right dongle. Any chance this could be included in the image? Cheers, Andrew