Question about NanoPi R4S

From: Mario Marietto <marietto2008_at_gmail.com>
Date: Sun, 20 Apr 2025 01:44:25 UTC
Hello.

I would like to know if the NanoPi R4S is supported by FreeBSD. I need that
at least the HDMI works because I'm planning to assemble a mobile phone
choosing this HDMI display :

https://it.aliexpress.com/item/1005008301365011.html

it is based on the chipset RK3399...so the HDMI should work I presume...

On the FreeBSD wiki :

https://wiki.freebsd.org/arm/RockChip
I read this :NanoPi R4S

   - RK3399
   - Product page: https://wiki.friendlyarm.com/wiki/index.php/NanoPi_R4S
   - Images will be available soon :  So, is there an alternative image
   that can work here ? for example the image for PINE64 RockPro64 ?

Let me know.

-- 
Mario.