@Momo-0 I won't be making a guide anytime soon, but you'd have to flash the image to emmc or SPI: https://danielc.dev/rk/devices/genbook/
It's not very useful yet. ACPI is the only way I've been able to get a generic UEFI image booting. And last time I tried the trackpad didn't work but the keyboard did (any idea why @george ?), along with a bunch of other hardware (USB-A port)
Device tree won't even boot at all, and I couldn't get any UART output to figure out what went wrong. But it probably wouldn't work in the first place because the genbook needs a patched kernel.