From dce90836e7c15d6ea80d3fab0c82997a87dc8639 Mon Sep 17 00:00:00 2001 From: Gerwin Klein Date: Thu, 1 Jul 2021 09:04:32 +1000 Subject: [PATCH] make markdown lint happy Signed-off-by: Gerwin Klein --- README.md | 26 +++++++++++--------------- 1 file changed, 11 insertions(+), 15 deletions(-) diff --git a/README.md b/README.md index 3f51b72b9..bc45de36f 100644 --- a/README.md +++ b/README.md @@ -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