> For the complete documentation index, see [llms.txt](https://gitbook.seguranca-informatica.pt/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://gitbook.seguranca-informatica.pt/arm/tools/kernel.md).

# Kernel

{% embed url="<https://people.debian.org/~aurel32/qemu/>" %}

{% embed url="<https://ecos.sourceware.org/getstart.html>" %}

**pre-compiled kernels**

{% embed url="<http://musl.cc/>" %}

**Docker muslcc**

{% embed url="<https://hub.docker.com/r/muslcc/i686/tags?page=1&ordering=last_updated>" %}