Enabling spi on dietpi

Creating a bug report/issue

I have searched the existing open and closed issues

Required Information

  • DietPi version | cat /boot/dietpi/.version
    G_DIETPI_VERSION_CORE=9
    G_DIETPI_VERSION_SUB=0
    G_DIETPI_VERSION_RC=2
    G_GITBRANCH=‘master’
    G_GITOWNER=‘MichaIng’
  • Distro version | echo $G_DISTRO_NAME $G_RASPBIAN
    bookworm
  • Kernel version | uname -a
    Linux DietPi 6.1.63-current-rockchip64 #1 SMP PREEMPT Mon Nov 20 10:52:19 UTC 2023 aarch64 GNU/Linux
  • Architecture | dpkg --print-architecture
    arm64
  • SBC model | echo $G_HW_MODEL_NAME or (EG: RPi3)
    ROCK Pi S (aarch64)
  • Power supply used | (EG: 5V 1A RAVpower)
    USB A to USB C
  • SD card used | (EG: SanDisk ultra)
    San Disk Ultra 32 GB

I am unable to figure what steps I must complete to enable SPI interface on a Rockpi S board running Dietpi version 9.0.2. i have added the following lines to /boot/dietpiEnv.txt. What else I need to do?
Please let me know.

overlays=spi-spidev
param_spidev_spi_bus=0
param_spidev_spi_cs=0
param_spidev_max_freq=10000000

Before we installed dietpi, the Rockpi-S board had stock Debian installed on it. At that time, the /boot/uEnv.txt was as follows:

verbosity=7
fdtfile=rockchip/rk3308-rock-pi-s.dtb
console=ttyS0,1500000n8
overlays=rk3308-uart0 rk3308-spi-spidev rk3308-uart3 rk3308-pwm1 rk3308-pwm2 rk3308-pwm3 rk3308-spi-spidev rk3308-uart3 rk3308-pwm1 rk3308-pwm2 rk3308-pwm3 rk3308-i2c1
rootuuid=2a975457-7408-4fda-bd37-22b8d2df5b6f

param_spidev_spi_bus=2
param_spidev_spi_cs=0
param_spidev_max_freq=10000000
initrdsize=0x5cabd5
kernelversion=4.4.143-69-rockchip-g8ccef796d27d
initrdimg=initrd.img-4.4.143-69-rockchip-g8ccef796d27d
kernelimg=vmlinuz-4.4.143-69-rockchip-g8ccef796d27d