kata: Adjust documentation to match up with path renames.
Change-Id: I9e6a3f21b4dd8262cc38d9ff8313cd1633f5ca5c
diff --git a/GettingStarted.md b/GettingStarted.md
index c2de88c..9825f1a 100644
--- a/GettingStarted.md
+++ b/GettingStarted.md
@@ -225,10 +225,10 @@
Vector core for ML acceleration.
-### kata/
+### cantrip/
Operating system software for the SMC; including seL4 kernel & CAmkES framework,
-and custom CAmkES components that support Shodan (or maybe KataOS) applications.
+and custom CAmkES components that support Shodan (or maybe CantripOS) applications.
### manifest/
@@ -351,7 +351,7 @@
scripts/kshell.sh
```
-You will see the kataOS prompt showing up when you hit `enter`. Use `ctrl-c` to leave the console.
+You will see the CantripOS prompt showing up when you hit `enter`. Use `ctrl-c` to leave the console.
### Connecting to Renode Console