README style fix

Signed-off-by: Ivan Velickovic <[email protected]>
seL4 · Feb 13, 2024 · 0274890 · 0274890
1 parent 4e19289
commit 0274890
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -9,7 +9,7 @@ The purpose of the seL4 Microkit is to enable system designers to create static
 
 The seL4 Microkit consists of three parts:
 
-   * Microkit Library
+   * Microkit library
    * Microkit initial task
    * Microkit tool