I always get mixed up about this, so what follows may be nonsense... but the pico drivers, I thought they were meant to illustrate how to go about doing a port, whilst not really being full ports in and of themselves.
Or maybe that’s just the Pico layer...
Anyway, I guess I’m just not sure of the PicoSDL is actually meant to be complete or not.