> Finally I have choosen an other path. I have installed the UEFI > found here: > https://github.com/edk2-porting/edk2-rk3588?tab=readme-ov-file > I got mine running some time ago by flashing the u-boot binary to an sdcard as described before. I fiddled a bit with it but didn't write down any notes. It did work in the end though.
The baud rate on this image is the more mainstream 115200 instead of 1500000 as most Rockchips system prefer. The lack of an easily accessible serial console is frustrating, but you can wire the pins from the internal header to a 2.5 mm audio jack that can fit into the antenna hole in the case, see this example: https://www.cnx-software.com/2022/12/23/serial-console-nanopi-r6s/ (parts & pictures lower down in comments). Also note that on 7.5 at least the frequency is capped at 816Mhz (see https://marc.info/?l=openbsd-arm&m=171529201101238&w=2). That will hopefully be fixed soon in 7.6. Good luck Mihai
