I looked into the RAWX logging capability of ArduPilot, and it seems to me that it only supports logging of the raw “observables” for the purpose of PPK. There’s a particular message for logging interrupt pin behavior, but it’d be really cool (but not likely) for the GPS library to support logging it.
That said, there seems to be quite a bit of confusion surrounding the topic of RAWX logging (including, I believe, claims that it is currently dysfunctional). I still have to hunt down those discussions again, but it may have been an issue with the MissionPlanner utility for extracting .obs files from the dataflash . . . I can’t recall.
Either way, I figured the easiest way to get an F9P up and running for PPK would be something that solely builds the .ubx logs from UART . . . Current examples utilize an M8T, but I’m holding out hope that the F9P supports the same TIM1 logging as described here. It’s unclear from uBlox’ datasheet if it is even possible to use the INT pin in the same way as with the M8T.