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.
Is the baseband isolated?
And
that’s actually pretty nice. i didn’t know pixels did that.