portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

make markdown lint happy

Browse source 
Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
This commit is contained in:
Gerwin Klein 2021-07-01 09:04:32 +10:00 committed by Gerwin Klein
parent 4da101ae24
commit dce90836e7
1 changed files with 11 additions and 15 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

26
README.md
View file

@ -21,7 +21,8 @@ correctness proof, please see the [`sel4.systems`][1] website and associated
[FAQ][2].
DOIs for citing recent releases of this repository:
* [![DOI][4]](https://doi.org/10.5281/zenodo.591727)
- [![DOI][4]](https://doi.org/10.5281/zenodo.591727)
We welcome contributions to seL4. Please see the website for information
on [how to contribute][3].
@ -29,7 +30,6 @@ on [how to contribute][3].
This repository is usually not used in isolation, but as part of the build
system in a larger project.
[1]: http://sel4.systems/
[2]: https://docs.sel4.systems/projects/sel4/frequently-asked-questions
[3]: https://docs.sel4.systems/processes/contributing.html
@ -52,7 +52,6 @@ seL4 Basics
- [Host Build Dependencies](https://docs.sel4.systems/projects/buildsystem/host-dependencies.html)
- [Porting seL4](https://docs.sel4.systems/projects/sel4/porting)
Community
---------
@ -62,7 +61,6 @@ Community
- [Suggested projects](https://docs.sel4.systems/SuggestedProjects)
- [CommunityProjects](https://docs.sel4.systems/CommunityProjects)
Reporting security vulnerabilities
----------------------------------
@ -71,7 +69,6 @@ software, we ask you to follow our [vulnerability disclosure policy][VDP].
[VDP]: https://github.com/seL4/seL4/blob/master/SECURITY.md
Manual
------
@ -82,18 +79,16 @@ A web version of the API can be found [here][8]
Repository Overview
-------------------
* `include` and `src`: C and ASM source code of seL4
* `tools`: build tools
* `libsel4`: C bindings for the seL4 ABI
* `manual`: LaTeX sources of the seL4 reference manual
- `include` and `src`: C and ASM source code of seL4
- `tools`: build tools
- `libsel4`: C bindings for the seL4 ABI
- `manual`: LaTeX sources of the seL4 reference manual
Build Instructions
------------------
See the seL4 website for [build instructions][6].
Status
------
@ -101,7 +96,8 @@ A list of releases and current project status can be found under [seL4 releases]
- [Roadmap](https://docs.sel4.systems/projects/roadmap): new features in development
- [Hardware Support](https://docs.sel4.systems/Hardware): information about hardware platform ports
- [Kernel Features]((https://docs.sel4.systems/projects/sel4/status)): information about available kernel features
- [Userland Components and Drivers](https://docs.sel4.systems/projects/available-user-components.html): available device drivers and
userland components
- [Kernel Features]((https://docs.sel4.systems/projects/sel4/status)): information about available
kernel features
- [Userland Components and
Drivers](https://docs.sel4.systems/projects/available-user-components.html): available device
drivers and userland components