Built-in WiFi in Gentoo on Raspberry Pi 3

[vanjo9800]

Hello, I have a working 64-bit Gentoo on the Raspberry Pi 3. Now I want to make my internal Wi-Fi and Bluetooth work. Up to now the only drivers I have seen are from here: https://github.com/RPi-Distro/firmware- ... 80211/brcm. However, these are 32-bit binary files, while my system needs 64-bit. Is there another way to make my Wi-Fi and Bluetooth work?

Thank you in advance!!!

[JCHB]

How did you manage a 64 bit version of gentoo on the pi 3? From what I have gathered so far, nobody has built a 64 bit kernel for it yet. If you have succeeded in this endeavor, please instruct me with your infinite gentoo wisdom. Thanks!