Hi all, I'm new to debian and I would like to install an rt kernel on my debian 8 jessie machine, I've configured the pengutronix repository in my /etc/apt/sources.list.d as: deb http://debian.pengutronix.de/debian jessie main contrib non-free in pengutronix.list file, but I don't know which packages I need to install. I would like to use the rt kernel for my musical work with jack, ardour, etc ... Thank you for any answer. Bye -- To unsubscribe from this list: send the line "unsubscribe linux-rt-users" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html