Fixes to readme

README.md

@@ -1,12 +1,15 @@
-s3k - Simple Secure Separation Kernel
+S3K - Simple Secure Separation Kernel
 =====================================
 
-s3k is a separation kernel targetting embedded RISC-V systems.
+S3K is a capability-based separation kernel targetting embedded RISC-V systems.
 
-- [Documentation Index](https://github.com/kth-step/s3k/wiki)
+Documentation:
+- [Home](https://github.com/kth-step/s3k/wiki)
 - [S3K Design](https://github.com/kth-step/s3k/wiki/S3K-Design)
 - [S3K API](https://github.com/kth-step/s3k/wiki/S3K-API)
 
+More documenation will be added.
+
 Configuration
 -------------
 
@@ -73,7 +76,5 @@ Repository structure
   - hello - Hello, world example with two processes
   - ping-ping - IPC example
   - trapped - Trap handling example
-  - wcet - deprecated project (for now)
-- API.md - Kernel API
 - LICENSE - MIT License file
 - tools.mk - Set the compiler tools here