Ну это сишка скорее всего.
По принципам - RPi такой же линукс как у тебя скажем на десктопе стоит (если ты на нее Raspbian воздвигнешь, что почти уже как стандарт). Так что любая инструкция по USB драйверизму из интернетов к дебиану покатит, тут ты прав совершенно.