From f8f9ed9965d35dac5e8557a99017862956bfac5a Mon Sep 17 00:00:00 2001 From: Nathan Dautenhahn Date: Wed, 3 May 2017 13:24:22 -0400 Subject: [PATCH] Spelling error: Dautenhan -> Dautenhahn Signed-off-by: Nathan Dautenhahn --- projects/okernel/README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/projects/okernel/README.md b/projects/okernel/README.md index 1011b9720..5df59b671 100644 --- a/projects/okernel/README.md +++ b/projects/okernel/README.md @@ -8,7 +8,7 @@ Project links: - Userspace components and supporting material: 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 protection into the kernel so that, amongst other things, we can offer lifetime guarantees over kernel code and data integrity. Unlike the BSD-