Cool Pi Cm5-Laptop Linux Quick Start Guide

mainbord

Tyied it
https://github.com/armbian/build/pull/8275
from usb and from nand it does not boot.

Momo 0

@mainbord same here, sadly Armbian isnt booting or else i would already be using it instead of the supplied distros

george

@Momo-0
The official default configuration of ARMBIN's loadaddr and optee conflicts and needs to be modified to 0x200000

Momo 0

@george is this true even for the community made Genbook build?

mainbord

@Momo-0
I did it

change address 0x200000
build
burn it to emmc
profit
Linux coolpi-genbook 6.18.0-edge-rockchip64 #1 SMP PREEMPT Mon Dec 1 01:42:10 MSK 2025 aarch64 aarch64 aarch64 GNU/Linux

wireless works

no sound
No usb-c

Momo 0

@mainbord too bad about the usbc and the sound, can i ask how you went about it? im not to deep into armbian.

george

@Momo-0
TYPEC is only related to DTS, and the main issue with the sound card is Tinymix configuration.

Momo 0

@georgecould you elaborate on how to build and change the Kernel from the current github repository?

george

@Momo-0

git checkout 6.1.75
./build-kernel.sh arm64

The deb file will be generated in the higher-level directory of the code and copied to the machine for installation.

mainbord

@george

Armbian use this file from linux kernel
https://github.com/torvalds/linux/blob/master/arch/arm64/boot/dts/rockchip/rk3588-coolpi-cm5-genbook.dts

George use this
https://github.com/coolpi-george/coolpi-kernel/blob/linux-6.1-stan-rkr5.1/arch/arm64/boot/dts/rockchip/rk3588-cpcm5-notebook-v20.dts

I found instruction how to build my own dts
https://docs.armbian.com/User-Guide_Armbian_overlays/

But i can't build even the linux kernel dts file
sudo armbian-add-overlay rk3588-coolpi-cm5-genbook.dts