elfloader/shoehorn: remove fudge factor now that it's not needed Change-Id: I29c9ba2b0809d6ed658e7d9a46b0f3afb63b486e
diff --git a/cmake-tool/helpers/shoehorn.py b/cmake-tool/helpers/shoehorn.py index 0bba19b..04b653d 100755 --- a/cmake-tool/helpers/shoehorn.py +++ b/cmake-tool/helpers/shoehorn.py
@@ -202,12 +202,6 @@ marker += elf_sift.get_memory_usage(elf, align=True) debug_marker_set(marker, 'end of rootserver') - # Note: sel4test_driver eats (almost) 4 more MiB than it claims to. - # Fixing this is JIRA SELFOUR-2335. - fudge_factor = 4 * 1024 * 1024 - marker += elf_sift.get_aligned_size(fudge_factor) - debug_marker_set(marker, 'end of (aligned) fudge factor') - image_start_address = marker if (image_start_address + image_size) <= region['end']: