debian.pengutronix.de

Debian is "the" Linux community distribution and is used intensively inside Pengutronix - on our servers as well as on our desktop machines. On this server Pengutronix offers some unofficial Debian packages, which cannot (yet) be found in Debian's official repositories.

In order to install these packages add the following line to /etc/apt/sources.list:

deb http://debian.pengutronix.de/debian/ sid main contrib non-free

(Replace "sid" by the right release name.)

The archive is cryptographically signed. You might want to install the

pengutronix-archive-keyring

package to stop apt warning about packages from an untrusted source.

To achieve this with apt > 1.1, you have to do

	    # apt -o="Acquire::AllowInsecureRepositories=true" update

the first time after you added the Pengutronix server to your sources list. Then

	    # apt install pengutronix-archive-keyring