Uncategorized October 4, 2018
For the pilot kerneldrivers we created some .deb packages and want to host these on our own server, so we could use apt-get on the Raspberry Pi Setup ...