kata: Adjust documentation to match up with path renames.

Change-Id: I9e6a3f21b4dd8262cc38d9ff8313cd1633f5ca5c

CantripGdbUserSpaceDebugging.md

diff --git a/KataGdbUserSpaceDebugging.md b/CantripGdbUserSpaceDebugging.md
similarity index 100%
rename from KataGdbUserSpaceDebugging.md
rename to CantripGdbUserSpaceDebugging.md

GettingStarted.md

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