Update debug docs for OpenSBI

keystone-enclave · Feb 18, 2021 · 58f6b28 · 58f6b28
1 parent b4b6cc5
commit 58f6b28
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/source/Getting-Started/How-to-Debug.md b/docs/source/Getting-Started/How-to-Debug.md
@@ -28,7 +28,7 @@ For example, if you want to debug with the `bbl` symbols
 
 ```bash
 # in your <build directory>
-riscv64-unknown-linux-gnu-gdb ./riscv-pk.build/bbl
+riscv64-unknown-linux-gnu-gdb ./sm.build/platform/generic/firmware/fw_payload.elf
 ```
 
 If you want to debug with the kernel's debug information