elfloader: use loop variable as index

Signed-off-by: Axel Heider <[email protected]>
seL4 · Mar 22, 2024 · 756b83f · 756b83f
1 parent 8c660fd
commit 756b83f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/elfloader-tool/src/common.c b/elfloader-tool/src/common.c
@@ -599,7 +599,7 @@ int load_images(
                        "app.bin", // hash file
                        next_phys_addr,
                        1,  // keep ELF headers
-                       &user_info[*num_images],
+                       &user_info[i],
                        &next_phys_addr);
         if (0 != ret) {
             printf("ERROR: Could not load user image ELF\n");