elfloader: use loop variable as index

Signed-off-by: Axel Heider <axelheider@gmx.de>
seL4 · Aug 9, 2024 · d3babc9 · d3babc9
1 parent fd0a5ec
commit d3babc9
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");