From 01a881243b3c51939af29426cfd86ec3014967e4 Mon Sep 17 00:00:00 2001 From: Jeremy Soller <jeremy@system76.com> Date: Tue, 26 Sep 2017 14:15:01 -0600 Subject: [PATCH] hybrid -> micro --- src/lib.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/lib.rs b/src/lib.rs index 0e0a4eff..904c03e3 100644 --- a/src/lib.rs +++ b/src/lib.rs @@ -1,6 +1,6 @@ //! # The Redox OS Kernel, version 2 //! -//! The Redox OS Kernel is a hybrid kernel that supports X86_64 systems and +//! The Redox OS Kernel is a microkernel that supports X86_64 systems and //! provides Unix-like syscalls for primarily Rust applications //#![deny(warnings)] -- GitLab