diff --git a/BuildTargetsExplained.md b/BuildTargetsExplained.md
index 4de5b0c..480374e 100644
--- a/BuildTargetsExplained.md
+++ b/BuildTargetsExplained.md
@@ -1,7 +1,7 @@
 # Build targets in Shodan repository
 
 Here are lists of user-facing targets in Shodan. They are invoked with the
-command of `m <target>`.
+command of `m [make flags] <target>`.
 
 ## Build targets
 
@@ -14,7 +14,7 @@
 | matcha_tock_release | sw/tock/boards/opentitan-matcha | out/tock-release       | The operating system running on the security core,   |
 |                     | sw/libtock-rs                   | out/libtock-rs         | and its Rust library                                 |
 | multihart_boot_rom  | sw/multihart_boot_rom           | out/shodan_boot_rom    | Shodan boot rom                                      |
-| springbok           | sw/vec                          | out/springbok          | Vector core BSP and RVV test code                    |
+| springbok           | sw/vec                          | out/springbok/rvv      | Vector core BSP and RVV test code                    |
 | iree_compiler       |                                 | out/host/iree_compiler | IREE host compiler                                   |
 | iree_runtime        | toolchain/iree                  | out/springbok_iree     | IREE runtime applications                            |
 |                     | sw/vec_iree                     |                        |                                                      |
@@ -22,12 +22,16 @@
 | opentitan_sw_all    | hw/opentitan                    | out/opentitan          | HW testing binaries                                  |
 | qemu                | toolchain/ristv-qemu            | out/host/qemu          | QEMU emulator                                        |
 | renode              | sim/renode                      | out/host/renode        | Renode emulator                                      |
+| spike               | toolchain/spike                 | out/host/spike         | RISC-V ISA simulator (Spike)                         |
+| systemc             | sim/systemc                     | out/host/systemc       | libsystemc library                                   |
+| springbok_systemc   | hw/springbok/systemc            | out/springbok/systemc  | Springbok systemc implementation                     |
 | verilator           | sim/verilator                   | out/host/verilator     | System Verilog HW emulator                           |
 | simulate            |                                 |                        | E2E build and launch renode simulation.              |
 |                     |                                 |                        | Targets include `matcha_tock_release`,               |
-|                     |                                 |                        | `kata`, `multihart_boot_rom`, `iree`                 |
+|                     |                                 |                        | `kata-bundle-release`, `multihart_boot_rom`, `iree`  |
 | debug-simulation    |                                 |                        | Debug version of `simulate` to be used with GDB,     |
-|                     |                                 |                        | tock target is `matcha_tock_debug`.                  |
+|                     |                                 |                        | tock target is `matcha_tock_debug`; kata is          |
+|                     |                                 |                        | `kata-bundle-debug`.
 
 ## Clean targets
 
@@ -36,6 +40,7 @@
 | clean                | Remove the whole out directory          |
 | qemu_clean           | Remove out/host/qemu                    |
 | renode_clean         | Remove out/host/renode                  |
+| spike_clean          | Remove out/host/spike                   |
 | verilator_clean      | Remove out/host/verilator               |
 | toolchain_clean      | Remove cache/toolchain                  |
 | toolchain_llvm_clean | Remove cache/toolchain_iree_rv32imf     |