Reaction score: 7,562
Thanks ... but I don't know enough of the differences between Pine64 board and the Rock64 board to adapt the script for the Pine64 board to the Rock64.
/dev/disk3 (external, physical): #: TYPE NAME SIZE IDENTIFIER 0: GUID_partition_scheme *31.9 GB disk3 1: Linux Filesystem 4.1 MB disk3s1 2: Linux Filesystem 65.5 KB disk3s2 3: Linux Filesystem 4.2 MB disk3s3 4: Linux Filesystem 4.2 MB disk3s4 5: Linux Filesystem 4.2 MB disk3s5 6: Microsoft Basic Data boot 117.4 MB disk3s6 7: Linux Filesystem 1.1 GB disk3s7 > ls -l /Volumes/boot/ total 21162 -rwxrwxrwx 1 dpd staff 18128904 Jul 31 2017 Image* -rwxrwxrwx 1 dpd staff 40801 Jul 31 2017 dtb* drwxrwxrwx 1 dpd staff 2048 Jul 31 2017 extlinux/ -rwxrwxrwx 1 dpd staff 3494500 Jul 31 2017 initrd.img*
Kernel support - but need some U-boot/bootloader support or hints on how to get started. Have two or three ROCK64's (got them a while go, forgot how many I purchased). Willing to test. Would like to get these up and running. Still can't find an affordable small HDMI 2.0 / 4k @ 60Hz Intel platform.
For now it is. I use the Odroid XU series boards for video. There's no usable 4k on them but I usually run home movies at 720p, and it's fine with that on Gentoo. The C2 model (from the same folks) - does do 4k I think. Unfortunately the XU series does not run on FreeBSD due to the Samsung Exynos SoC they use. There is a very nascent XU3 NetBSD kernel - but work seems to have stopped.Like I've told many ... ARM is the future.
My board is the Rock64 v2.0 with 4GiB RAM. The dwc_rk is the GbE driver, it also needs some tweaks but it works. Because of the hangs, I didn't tested performance on it yet, but since I built the last image a lot of fixes was made by @evadot . You should follow his work if you want to track the process.cynosure
Which version of the Rock64 do you have? I'm eager to test FreeBSD on my board. It would be really great if you could write a tutorial I already played around with Linux and OpenBSD on the board but I'm rather new to FreeBSD crosscompiling. I see "dwc_rk" was recently added to the kernel config. So is the patch still required?
Can you say what does work and what not? Like hdmi, USB ...
The RockPro64 is only $25 more expensive than the Rock64 (comparing the 4GiB versions), and much better in most ways. But at the moment it have close to zero support on FreeBSD, first boards will be shipped on July only. So if you go that way, you have to wait and/or work on it.This board interests me greatly. The Rockchip seems to have FULLY open specifications, whereas the VC4 in the PI is not a truly open and publicly documented device. I think I need to get one of these and run it through its paces.
If you subscribe to the FreeBSD ARM mailing list, you'll see that they have the RockPro64 working now - in limited form - it boots to multiuser.The RockPro64 is only $25 more expensive than the Rock64 (comparing the 4GiB versions), and much better in most ways. But at the moment it have close to zero support on FreeBSD, first boards will be shipped on July only. So if you go that way, you have to wait and/or work on it.