Yes, the baseband is isolated on all of the officially supported devices.
And
The mobile Atheros Wi-Fi driver/firmware is primarily a SoftMAC implementation with the vast majority of the complexity in the driver rather than the firmware. The fully functional driver is massive and the firmware is quite small.
Reminder that GrapheneOS.
deleted by creator
Is the baseband isolated?
And
deleted by creator