basically have a devuan system image for "scishion" "v88 4k" android tv box with 1gb ram rockchip rk3229, but I could only find an ARMBIAN (debian buster) image https://www.armbian.com/rk322x-tv-box/ and discussion forum https://forum.armbian.com/topic/12656-c … -tv-boxes/ which has a kernel for the rockchip rk3229, I tried to transform from Debian to Devuan but the system in the end does not start.