lk-overlay VS PrawnOS

Hmm, the RPi isn't exactly open source, it requires a proprietary bootloader. The LibreRPi folks had to do a lot of reverse engineering to get an experimental replacement.

https://github.com/librerpi/lk-overlay/

The most recent work for this project is in the lk-overlay repo, which is an overlay of the Little Kernel embedded OS project:

https://github.com/librerpi/lk-overlay

The OP's computer is one of those Rockchip ARM models. It is much more difficult to get an alternate OS on it compared to Intel models. Maybe this one: https://github.com/SolidHal/PrawnOS

> I'd hardly argue that the RK3399 SoC is more "open" than any of the broadcom SoCs.

What? The gru-kevin chromebook (RK3399) can be booted without using a single binary blob, absolutely everything (even the arm trusted firmware) built from source. I use mine that way.

I've never seen a laptop with a "broadcom SoC" that could make that claim.

https://github.com/SolidHal/PrawnOS

chromebooks fork linux almost as badly as androids. instead of mainline + some patches/modules you get a custom kernel made for the hardware in question, usually with lots of proprietary drivers that make it hard for users to update. this is worse for ARM chromebooks than x86 chromebooks, but often has the same result on both: instead of downloading your favorite distro's ISO and installing it, you need to find something like PrawnOS that supports your specific model. in many cases you can't dualboot either because google's gimped UEFI/uboot/whatever implementation only boots chromeOS, and once you replace it with a custom firmware chromeOS becomes unbootable

You might want to look for an installation guide for your specific model. For example I used this one to install PrawnOS on my Acer C201P

the mainstream name is core/libreboot like used here but there's various other custom firmware too