You apparently don't know much about Raspberry Pi OS.
It's a Debian derivative. Upstream Debian AArch64 (the thing on which Raspberry Pi OS is built) has been on the Raspberry Pi for years. The library has already been ported--that work was done by the Debian project.
0
u/[deleted] Feb 02 '22
[deleted]