-
Notifications
You must be signed in to change notification settings - Fork 30
Steps to add support for a new board (Turing Pi RK1) #18
Comments
I don't know much about Linux kernel and embedded, but since that rockchip's linux kernel has its dts, you can use my configuration here and change the deviceTree into turing pi's dts, to see if it works. |
I forked this repo to try to make a turing rk1 version.
But there are patches for turing rk1 in the git repo, maybe these are needed as well. I did not research how the EFI way works, but maybe this is easier. |
Hi everyone, I've managed to create a image with U-Boot and NixOS for the Turing RK1 board, but the boot process stops with the following output:
The full boot log is attached as a text file. If anyone has suggestions on how to resolve this issue, I’d appreciate it, as I'm stuck here! For reference, here’s my fork: https://github.com/schwankner/nixos-rk3588 Thanks in advance! |
Hi,
Thanks for putting this together. I'm fairly new to SBC and NixOS, I just recently received a couple of Turing Pi RK1, and was hoping to add support for them.
It looks like there are DTS available here: https://github.com/armbian/linux-rockchip/blob/rk-5.10-rkr6/arch/arm64/boot/dts/rockchip/rk3588-turing-rk1.dts
The official Turing Pi image uses Ubuntu based on the following repo (config and u-boot).
Do you have any pointers to how to add support?
Thanks
The text was updated successfully, but these errors were encountered: