Intenté buscar en paquetes.debian.org "linux-image" en la distribución estable para la arquitectura armhf.Ver aquí para mi consulta exacta. No hay resultados.
¿Linux no está incluido en Debian para la arquitectura ARM? ¿Por qué no?
¿Por qué no hay ningún kernel para la arquitectura armhf disponible en los repositorios de Debian?