github/linuxkit
1
0
Fork 0
mirror of https://github.com/linuxkit/linuxkit.git synced 2025-07-21 10:09:07 +00:00
Code Issues Projects Releases Wiki Activity

Spelling error: Dautenhan -> Dautenhahn

Browse Source 
Signed-off-by: Nathan Dautenhahn <ndd@cis.upenn.edu>
This commit is contained in:
Nathan Dautenhahn 2017-05-03 13:24:22 -04:00 committed by Nathan Dautenhahn
parent ba6c210029
commit f8f9ed9965
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
projects/okernel/README.md
View File

@ -8,7 +8,7 @@ Project links:
- Userspace components and supporting material: - Userspace components and supporting material:
https://github.com/linux-okernel/linux-okernel-components https://github.com/linux-okernel/linux-okernel-components
Similar to the nested-kernel work for BSD by Dautenhan et al[1], the aim Similar to the nested-kernel work for BSD by Dautenhahn et al[1], the aim
of the split kernel (okernel) is to introduce a level of intra-kernel of the split kernel (okernel) is to introduce a level of intra-kernel
protection into the kernel so that, amongst other things, we can offer protection into the kernel so that, amongst other things, we can offer
lifetime guarantees over kernel code and data integrity. Unlike the BSD- lifetime guarantees over kernel code and data integrity. Unlike the BSD-