Raspberry Pi GPIO controllers

Are GPIO controllers supported? (gamecon_gpio_rpi)

Specifically: http://piplay.org/forum/discussion/1354/install-gamecon_gpio_rpi-without-using-retropie/p1

It seems the driver is only available in deb package so it is not convenient for the integration to Lakka.

They should provide the source of their modifications in a repository.

Source