Basic debugging outline

src/SUMMARY.md

@@ -12,6 +12,10 @@
         - [Filesystem](development/design/filesystem.md)
     - [Configuring a Build Environment](development/environment.md)
     - [Development Workflow](development/workflow.md)
+- [Debugging](debugging/README.md)
+    - [GDB]()
+    - [Logging]()
+    - [Performance Profiling]()
 
 # User Guide
 - [Using the OS](user/README.md)

src/debugging/README.md

@@ -0,0 +1,7 @@
+# Debugging
+
+Debugging code and understanding what's going wrong is highly important, especially in a complex setup such as this.
+We will try to make it as easy as possible, with tools such as [tracing](https://lib.rs/crates/tracing).
+
+There are several external tools that can be used as well.
+

src/debugging/gdb.md

@@ -0,0 +1 @@
+# GDB