index: microkernel -> small kernel

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>