Repository navigation

la-seL4_tools

Public

About

The seL4-tools with loongarch support, see official repositories at https://github.com/seL4

Code of conduct

Custom properties

0 stars

0 watching

Report repository

Name		Name	Last commit message	Last commit date
.github		.github
.reuse		.reuse
LICENSES		LICENSES
cmake-tool		cmake-tool
elfloader-tool		elfloader-tool
misc		misc
.cmake-format.yaml		.cmake-format.yaml
.gitignore		.gitignore
.licenseignore		.licenseignore
.stylefilter		.stylefilter
LICENSE.md		LICENSE.md
README.md		README.md

Repository files navigation

seL4_tools

Provides tools used to build seL4 projects. Also collects common config and tools for style checks.

elfloader-tool: loads the arm kernel.
cmake-tool: most of the build system.
misc: miscellaneous extra tools, including code style checks.

Contributing

Contributions welcome!

See the CONTRIBUTING file for more.

About

The seL4-tools with loongarch support, see official repositories at https://github.com/seL4

Code of conduct

Custom properties

0 stars

0 watching

Report repository

Releases

Packages

Contributors

Languages