Doing this for the second time in 6 months, so I thought I'd better document it here.

The Raspbian images contain some userland libraries, code examples etc. for the VideoCore of the raspberry pi. They usually live in /opt/vc. Building the software from the official github repo directly on the raspberry pi, seems to be the cleanest way to install it on devuan. This worked on a rpi3 (running 32-bit), and most recently on a pi zero.

On a pi zero the build takes about 45 minutes (<10 minutes on the rpi3).

The required packages are:

$ sudo apt install build-essential pkg-config cmake

Building locally in a 128MB ramdisk works nicely (gpu_mem=32 initially, adjusted later):

$ mkdir /tmp/ramdisk
$ sudo mount -t tmpfs -o size=128M tmpfs /tmp/ramdisk
$ cd /tmp/ramdisk

Fetch the code:

git clone https://github.com/raspberrypi/userland

Start the build:

$ cd userland
$ ./buildme

This should install everything in /opt/vc.

Change memory split in /boot/config.txt:

## memory shared with the GPU
gpu_mem=128

More to follow.

Cinnamon 3.2.7 recently became available in ascii/main:

$ sudo apt-get install cinnamon

After installation it needs to be configured to use ConsoleKit rather than logind for a few things, otherwise cinnamon-session will crash frequently with no warnings or errors.

Using dconf_editor:

$ sudo apt-get install dconf_editor

Make these changes to the following keys:

org.cinnamon.desktop.session.session-manager-uses-logind = false
org.cinnamon.desktop.session.settings-daemon-uses-logind = false
org.cinnamon.desktop.session.screensaver-uses-logind = false

I did this from within a running cinnamon session, then logged out and back in again. I haven't been using it for long enough to say how stable it is otherwise, but it seems to be working well.

I found 'Shutdown applet' via the 'Available applets (online)' window, in the panel options:

https://cinnamon-spices.linuxmint.com/applets/view/49

to add suspend and hibernate buttons to the panel, which works great.