We already have the Android P GSI based on the official PPR1 build. Here is a list of various Custom ROMS for all Android devices based on Android 9 Pie including Lineage OS 16, AOSP 9.0 ROM Ports, Pixel Experience