From 88a10192ecc0a7500fdaa9a7bb61c09bc448acdb Mon Sep 17 00:00:00 2001
From: Benjamin Valentin <benjamin.valentin@ml-pa.com>
Date: Thu, 11 Jan 2024 16:42:15 +0100
Subject: [PATCH] index: microkernel -> small kernel

---
 index.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/index.html b/index.html
index 608874d..3b30ecd 100644
--- a/index.html
+++ b/index.html
@@ -206,7 +206,7 @@ <h3 class="card-title"><i class="bi bi-cpu me-2"></i> Resource Friendly</h3>
               <div class="card-body">
                 <div class="card-text">
                   <p class="fw-bold text-center">
-                    Benefit from a microkernel and tickless scheduling on the lower end.
+                    Benefit from a small kernel and tickless scheduling on the lower end.
                   </p>
                   <ul class="check_style">
                     <li class="pb-3"> Robust runtime system </li>