Kauai Labs Trusted APT Repository

Raspberry Pi Package Installation

While connected to the Internet, execute these commands on your Raspberry Pi at a terminal window.

1)    Install prerequisites for apt-key import:


$ sudo apt-get install dirmngr


2)    Import the Kauai Labs public GPG Key from the MIT keyserver:


$ sudo apt-key adv --recv-key --keyserver hkps://peegeepee.com 74BBDA3E


               Note: sometimes the pgp.mit.edu server is unavailable; in this case retry this command later.

3)    Edit the /etc/apt/sources.list to add the Kauai Labs APT Repository:


deb http://www.kauailabs.com/apt ./


               Note:  editing the sources.list file requires administrator privileges

4)    Retrieve latest package list:


$ sudo apt-get update


5)    Install packages:


$ sudo apt-get install <package_name>

Example:  installing the latest VMX-pi hal:

     $ sudo apt-get install vmxpi-hal

List of current packages


Package Name



VMX-pi Hardware Abstraction Layer (HAL) and Samples


VMX-pi Utilities for FRC (and WPI Library) Support