gootal

The kernel`s cparser tools, with loongarch64 support

This image contains all the tools and dependencies to build l4v, with loongarch support

Dependencies required to build seL4 kernel, with loongarch64 support.