In case anybody is interested we just launched the simpleRTK2B, the first low cost evaluation board for the ZED-F9P GNSS module, compatible with Arduino and Pixhawk autopilots.
If you want to see all the details you can go here: https://kck.st/2NhLhBW