Rock Pi S with SPI WaveShare

Hello.

I have a Rock Pi S and a WaveShare E-ink display.

I want to use SPI to show some things on the display.
I’ve been following these instructions: https://wiki.radxa.com/RockpiS/dev/libmraa

My /boot/uEnv.txt looks like:

verbosity=7
fdtfile=rockchip/rk3308-rock-pi-s.dtb
console=ttyS0,1500000n8
overlays=rk3308-spi-spidev
param_spidev_spi_bus=1
rootuuid=ee60d2e1-358c-467c-acc8-a147c5b38695
initrdsize=0x5c97c2
kernelversion=4.4.143-65-rockchip-g58431d38f8f3
initrdimg=initrd.img-4.4.143-65-rockchip-g58431d38f8f3
kernelimg=vmlinuz-4.4.143-65-rockchip-g58431d38f8f3

I’ve been trying to run: cat test-spi.c as described under SPI TEST, but when I do so, I get:
Failed to initialize SPI