Rock64-PRO arm64 not supported

[dmilith]

No description provided.

[koitsu]

Few things to note:

1. As of this writing, bsdhwmon does not support any architectures other than x86/x64. It has not been compiled nor properly tested on any ARM variant. It doesn't mean it can't, it just means as of right now I don't have any ARM boards for testing.

2. I checked out https://wiki.pine64.org/wiki/ROCKPro64 and I was unable to determine if this system supports any kind of hardware monitoring. There are many dead links on that page, but I did go through the PDFs listed here (specifically the RK3399 and the RK808) and was unable to find any relevant details about hardware monitoring or what interface is used for communication. The closest I found was the RK808's register THERMAL_REG (see section 15.2.2.3), which only reports "threshold exceeded" statuses. The JST-PH connector document (re: PWM controlled fan) was not helpful either, as this is just for the physical connector and not for the IC managing the signalling interface (if there even is one). But please keep reading!

3. I did find https://forum.pine64.org/showthread.php?tid=5874 , which is with regards to Linux, and repeatedly talks about "regulators" in the /sys/class/regulator tree. This is the first I've heard of this tree (and would need to review the Linux source code to find out how it works/what it's referring to). What I can work out from purely this information:

• CPU temperature comes from ACPI thermal zones. FreeBSD has support for that natively and does not need bsdhwmon. Whether or not FreeBSD has the proper kernel shims to support this information being passed into acpi_thermal is a different matter, though, and unrelated to bsdhwmon.
• CPU voltage comes from a particular "regulator"
• System voltage comes from a particular "regulator"
• There's no information on other thermal capabilities (chipset, etc.), nor fan RPM monitoring

4. Please see these issues for the type of information I need. (Note that these are for other/different motherboards than the one you posted, but you'll get an idea of what's needed from the vendor for me to implement support):

• ASROCK EP2C602-4L/D16 motherboard uses Nuvoton chip #4
• Support for ASRock X399 Professional Gaming motherboard #5
• Support for Supermicro X7DBU (Winbond W83627HF/F/HG/G & Winbond W83793G) #6

Let me know how you want to proceed.

[diizzyy]

https://wiki.freebsd.org/arm/RockChip contains a bit more information, I'm also a bit unsure exactly what more @dmilith wants

[koitsu]

https://wiki.freebsd.org/arm/RockChip contains a bit more information, I'm also a bit unsure exactly what more @dmilith wants

Thanks for this link. Sadly the information on that page is vague as well. The only thing I find informative is that for fan speeds, you can use pwm(8), indicating that fan setting can be set or fetched through pwmc(4). Through this ioctl interface fetching fan RPMs might be possible; of course I have no idea what fan correlates with what channel, if the channel numbers are always static, etc.. I also have no idea if the pwm framework is one of those interfaces where "the value is unknown until explicitly set once". Finally, and this is quite important: the pwm framework in FreeBSD was only made available as of FreeBSD 13.0 and was not backported to 12.x or 11.x.