Cannot boot FreeBSD 13.0-CURRENT on ODROID-HC1

[Sleep Walker]

 --- Comment #1 from Emmanuel Vadot <manu at freebsd.org> ---
>Hello,
>
>EXYNOS5422 isn't supported unfortunately.
>We have some old code for 5420 and 5250 but I'm not even sure it still
work.
>
Hi  Emmanue!

It is a pity that this source code branch is not supported.
For example, in NetBSD, Jared McNeill did this.
It has downloadable images for ODROID-XU3/XU4 on
http://www.invisible.ca/arm/

Can anyone write patches for this boards.
I am ready to test them :-)....