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.
graphene doesn’t replace the modem firmware. i don’t think modem firmware can be replaced on most phones.
Is the baseband isolated?
And
that’s actually pretty nice. i didn’t know pixels did that.