Loading flash at address 0x0ABCD000 causes example to hang

Applying this patch causes the example to hang:

diff --git a/kernel.c b/kernel.c
index be748fd..07da912 100644
--- a/kernel.c
+++ b/kernel.c
@@ -18,7 +18,7 @@ int start() {
     // (0 - 0x2000) are reserved by spike and the third page contains the
     // host-target interface symbols defined in the kernel (0x2000, 0x2008).
     uint32_t sram_addr = 0x12340000;
-    uint32_t flash_addr = 0x81234000;
+    uint32_t flash_addr = 0x0ABCD000;
 
     const void* elf_data = cm; // App to load.
 

It may just be that this causes two memory regions to overlap but by my calculations there is enough space.

sram_addr と flash_addr が代入される kernel.c の start() から始め、flash_addr を 0x0ABCD000 に設定してハングを再現してください。リージョンが重複または競合しているかどうかを判断するため、example のメモリレイアウトとロード経路を追跡してください。そのアドレスで example がハングせずにロードされ、実行されれば完了です。