From 6b96bb995cf6214522ad0f5a4d54d381e20a0d14 Mon Sep 17 00:00:00 2001 From: Gerwin Klein Date: Mon, 11 Aug 2014 15:58:41 +1000 Subject: [PATCH] add DOI --- README.md | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index 32b8ab981..14b144326 100644 --- a/README.md +++ b/README.md @@ -17,6 +17,9 @@ For details about the seL4 microkernel, including details about its formal correctness proof, please see the [`sel4.systems`][1] website and associated [FAQ][2]. +DOIs for citing recent releases of this repository: + * [![DOI][4]](http://dx.doi.org/10.5281/zenodo.11247) + We welcome contributions to seL4. Please see the website for information on [how to contribute][3]. @@ -26,7 +29,7 @@ system in a larger project. [1]: http://sel4.systems/ [2]: http://sel4.systems/FAQ/ [3]: http://sel4.systems/Contributing/ - + [4]: https://zenodo.org/badge/doi/10.5281/zenodo.11247.png Repository Overview ------------------- @@ -68,9 +71,9 @@ build using `make`, follow these instructions: * For a debug build, append `DEBUG=y`. -See the seL4 website for more [comprehensive build instructions][4]. +See the seL4 website for more [comprehensive build instructions][5]. - [4]: http://sel4.systems/Download/ + [5]: http://sel4.systems/Download/ License