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, most importantly the kernels released by the RT-Preempt maintainers. For more information about the RT-Kernel packages please refer to our RT Linux for Debian site.

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

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

pengutronix-archive-keyring