trivial: typo Signed-off-by: Luca(Wei) Chen <wei@cvluca.com>
diff --git a/libsel4serialserver/README.md b/libsel4serialserver/README.md index 5f227c1..b772321 100644 --- a/libsel4serialserver/README.md +++ b/libsel4serialserver/README.md
@@ -139,7 +139,7 @@ /* I'm not going to cover how to initialize vkas here. */ SETUP_YOUR_CLIENT'S_VKA(&client_vkas[i]); - /* Ask the Serrver to Mint badged endpoints to the clients: the library + /* Ask the Server to Mint badged endpoints to the clients: the library * automatically both allocates a unique badge value and mints the * capability for us. *