Merge pull request #17 from common-nighthawk/patch-2

clear up explanation of microkernal
intermezzOS · Dec 28, 2015 · f6b2bbd · f6b2bbd
2 parents 01a96af + bbeb462
commit f6b2bbd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/what-kind-is-there.md b/src/what-kind-is-there.md
@@ -40,7 +40,7 @@ of mud, but it pays the bills.
 
 ## Microkernels
 
-Microkernels are, well, micro. Smaller. A lot of the functionality that’s in
+Microkernels are, well, micro. Smaller. A lot of the functionality that’s typically in
 the kernel is in userspace instead. This is a good idea in theory, but
 historically, microkernels have had issues. All that communication has
 overhead, which makes them slower.