* …

• Get the Devuan ASCII (based on Stretch) ISO netinstall - here
• Install in VirtualBox
• Install Devuan ASCII in VirtualBox
  • Make sure to include console productivity and SSH server options
• Use the DevSus script at https://notabug.org/dimkr/devsus

• Go to https://archive.org/details/devuan-jessie-c201-libre-2GB

• Insert the USB key
• Boot the system, you should see Libreboot prompt with boot options. Use Ctrl-U to boot from USB
• Once at the login prompt, login as root (no password)
• dd if=/devuan-jessie-c201-libre-16GB.img of=/dev/mmcblk0 bs=50M
• Turn off the system, remove the USB key
• Turn it on again, you should now have a login prompt

The image does not include drivers for the on-board wifi as they are proprietary. You will need a USB wifi adapter such as those from ThinkPenguin.com. An Atheros AR9271 based adapter was used in this example (USB ID 0cf3:9271)

• Insert your USB adapter on the right port
• Verify a new interface is available:
  • # ip a
• Generate a configuration file for wpa_supplicant and verify its content:
  • # wpa_passphrase MYSSID passphrase > /etc/wpa_supplicant/wpa_supplicant.conf - there will be no prompt to type, just type your wifi password and press Enter.
  • # cat /etc/wpa_supplicant.conf to check the newly generated config file
• Assuming your interface is wlan0, connect to your network like this:
  • # wpa_supplicant -B -i wlan0 -c /etc/wpa_supplicant/wpa_supplicant.conf
  • dhclient wlan0

The connection should now be up, check with ip a or ping yahoo.com for example.