Es correcto afirmar que la ECB AT91 ejecuta Linux embebido (o Linux empotrado).