Skip to content

ev3dev Debian Distro

David Lechner edited this page Jan 17, 2014 · 1 revision

ev3dev is a customized version of the Embedded Debian project using the Grip packages.

##The ev3dev Package Repository We have our own package repo to distribute the kernel and kernel modules and other packages that are patched to work on the EV3.

In future versions, you should not have to manually set this up, but for now, here are the steps:

  • Save the following to /etc/apt/sources.list.d/ev3dev.list.

      deb http://ppa.lechnology.com/ev3dev wheezy main
      deb-src http://ppa.lechnology.com/ev3dev wheezy main
    
  • Then...

      sudo apt-key adv --fetch-keys http://ppa.lechnology.com/gpg.key
      sudo apt-get update
    
Clone this wiki locally