os/doc
3
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Add missing http:// to nestedkernel URL

Browse source 
Approved by:	brd
This commit is contained in:
Ed Maste 2015-04-16 19:15:33 +00:00
parent 11f3ee7d19
commit 3dffda0d82
Notes: svn2git 2020-12-08 03:00:23 +00:00 
svn path=/head/; revision=46570
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
en_US.ISO8859-1/htdocs/news/status/report-2015-01-2015-03.xml
View file

@ -1881,7 +1881,7 @@ WITHOUT_FORTH=y</pre>
</contact>
<links>
<url href="nestedkernel.org">Home page for the project that includes links to papers and build instructions.</url>
<url href="http://nestedkernel.org">Home page for the project that includes links to papers and build instructions.</url>
<url href="http://web.engr.illinois.edu/~dautenh1//downloads/publications/asplos200-dautenhahn.pdf">Conference publication detailing the problem, design, implementation, and evaluation of our prototype.</url>
<url href="http://prezi.com/in6qr3l92ffc/?utm_campaign=share&amp;utm_medium=copy">Presentation on the nested kernel</url>
<url href="https://github.com/HardenedBSD/hardenedBSD/tree/hardened/9/kernsep">HardenedBSD branch of the nested kernel being refactored.</url>