Different Erlang drivers for the Raspberry Pi GPIO