Por cierto y aprovechando que hablas de seandepagnier (que empiezo a empezar que ese tio no es de este planeta...) acaba de publicar una actualización del plugin para opencpn rts-sdr.
Si recordais las tibulaciones que tuvimos sobre la combinacion de software receptor y decodificador este tio ha hecho un plugin para las dos combinaciones
gnuradio / gr-ais
rtl_fm / aisdecoder
y mira lo que dice
I have updated the plugin to use aisdecoder. It is a much lower cpu decoder for ais. Currently uses 3% cpu, I estimate 15% cpu use on a raspberry pi.
The idea is, you get an r820t dongle, splice in a vhf antenna, plug into usb port, install rtlsdr plugin, and run opencpn, and you have ais data without any additional work.
en esta pagina estan las instrucciones claritas, quien lo pueda probar que diga que tal (que yo no tengo pincho aun

)
https://github.com/seandepagnier/rtlsdr_pi
esto se anima....