O Debian tem poucos kernels, um genérico, -rt kernel, alguns kernels de arquitetura de hardware e hurd. Mas isso não dá o kernel de baixa potência. Alguém sabe a razão pela qual é assim?
Tags kernel debian linux linux-kernel