Re: raspberrypi-userland on aarch64 (RPI4)?

[mlelstv%serpens.de@localhost (Michael van Elst)]

mayuresh%acm.org@localhost (Mayuresh) writes:

>raspberrypi-userland build is restricted to arm in pkgsrc:

>    ONLY_FOR_PLATFORM=      NetBSD-*-*arm*

>As per: https://wiki.netbsd.org/ports/evbarm/raspberry_pi/

>    The aarch64 kernel can run aarch32 binaries, so one can boot an
>    aarch64 kernel on a system with an aarch32 userland.

>So, is there any way out to build this on aarch64?


RPI userland is not even built for Linux on aarch64 regularly.

There are patches to build _part_ of it on aarch64, but you
still lack e.g. the MMAL code:

Files:
/usr/pkg/bin/dtmerge
/usr/pkg/bin/dtoverlay
/usr/pkg/bin/dtoverlay-post
/usr/pkg/bin/dtoverlay-pre
/usr/pkg/bin/dtparam
/usr/pkg/bin/tvservice
/usr/pkg/bin/vcgencmd
/usr/pkg/bin/vchiq_test
/usr/pkg/bin/vcmailbox
/usr/pkg/lib/libvchostif.a
/usr/pkg/lib/libbcm_host.so
/usr/pkg/lib/libdebug_sym.so
/usr/pkg/lib/libdebug_sym_static.a
/usr/pkg/lib/libdtovl.so
/usr/pkg/lib/libvchiq_arm.so
/usr/pkg/lib/libvcos.so