Hi there, I've just spent some time installing debian on asus c201 laptop, which has rockchip 3288 cpu and some mali gpu, emmc, and so on. Support for that kind of platform (including RK3588 and Valhall gpu) has landed quite recently: around june, and it is still being stabilized by awesome...