download link: https://voidlinux.org/download/#arm%20platforms
I'm able to get a Void Linux image (32bit, raspberry pi 2 image) to boot on the
raspberry pi 4. Currently, I can get it to boot and even handle upgrading via
xbps-install -Su (networked over ethernet), however I can't seem to get it to
see the internal wlan (wifi) device.
huge shout out to kodifies on [this reddit
| #!/bin/bash | |
| # This makes a readily bootable Voidlinux SD-Card for the raspberrypi | |
| # Sets up some configs, making the Pi connect to wifi and sshd | |
| # | |
| # First boot up takes a very long time (5+ mins even) on a Zero W. Really give it time. | |
| # For remedy on subsequent booting see: | |
| # https://wiki.voidlinux.org/Raspberry_Pi#Enabling_hardware_RNG_device | |
| # SD-Card: | |
| device="/dev/sda" |
These are my notes, not a generic solution. They are not meant to work anywhere outside my machines. Update version numbers to whatever are the current ones while you do this.
asdf lives in https://github.com/asdf-vm/asdf
Follow its installation instructions, which at the moment of writing were: