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

Merge pull request #1766 from ndauten/ndauten-patch-1

Browse Source 
Spelling error: Dautenhan -> Dautenhahn
This commit is contained in:
Justin Cormack 2017-05-03 19:15:39 +01:00 committed by GitHub
commit 81c3b92a7a
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-