The officially official Devuan Forum!

You are not logged in.

#1 2019-07-05 06:36:57

therion23
Member
Registered: 2019-07-05
Posts: 1  

Devuan on Raspberry Pi 4

If you have a Pi 2 or 3 as well, the easiest way of making a bootable SD card for the Pi 4 is like this:

- Grab a Devuan image for Pi 2 (sorry, 32 bit only for now).
- Boot it on your Pi 2 or 3 and set up networking.
- From http://archive.raspberrypi.org/debian/p … -firmware/ get raspberrypi-bootloader and raspberrypi-kernel - make sure they have matching version numbers and not older than 20190620.
- From http://archive.raspberrypi.org/debian/p … e-nonfree/ get the latest firmware-brcm80211.
- install all three with dpkg.
- Double check your /boot/cmdline.txt - especially the root= setting.
- Reboot.

If it boots right, you should be running 4.19.50-v7l+. Shutdown, put the card into your Pi 4 and boot it up.

Now, if the screen blanks during boot on your Pi 4, it is most likely during switching framebuffers. In this case, wait a bit till you can log in via ssh, and as root, do:

echo blacklist vc4 > /etc/modprobe.d/blacklist-vc4.conf

And reboot. Solved the issue for me (HDMI - haven't tried the analogue output).

If you want the hardware specific bits (which usually live in /opt/vc), from the first URL above, get libraspberrypi0, libraspberrypi-bin and libraspberrypi-dev - all three the same version as the kernel and bootloader you got above! Install via dpkg and edit /etc/ld.so.conf.d/00-vmcs.conf to read this one line:

/opt/vc/lib

Run ldconfig or reboot.

Finally, update your system - but you know all about that already, right? :)

Caveat emptor - the above worked for me. Twice. Enjoy Devuan on your Pi 4!

Offline

Board footer