Drivrutiner behöver du inte leta efter, de ingår i kärnan om dongeln är byggd på rätt chipset. Plugga i och kör, rätt modul kommer att laddas automatiskt när hårdvaran upptäcks.
Jag har en 2.4 GHz-dongel till min gamla Raspberry Pi, men den är nog måttligt intressant för dig, du vill nog ha en för 5 GHz. Men som allmänt tips funkar det att leta efter dongels som funkar med Pi.
Det är ju dock inte jättesvårt att hitta produkter som säger sig funka med Linux. Den här till exempel: https://www.kjell.com/se/sortiment/dator-natverk/natverk/tradlost-natverk/tradlosa-natverkskort/plexgear-tradlost-usb-natverkskort-433-mb-s-p61345. Använd öppet köp eller ångerrätt om det mot förmodan inte skulle funka.
Edit: Ovanstående produkt var visst inte ett fantastiskt tips eftersom tillverkaren inte underhåller driver som ingår i kärnan: https://efrecon.github.io/plexgear-AC600-nano/
Edit2: Nu förstår jag din fråga bättre. Uppenbarligen så är det extremt dåligt stöd för just 802.11ac-donglar i kärnan. Jag trodde det var lika enkelt som med gamla 802.11n-donglar. Hur som helst verkar det vara Mediatek-chipset som stöds av drivern mt76 som man ska leta efter.
Den här verkar gå att få tag på: https://m.prisjakt.nu/product/3316617