commit 6955396e371a18db446e57afb40bcb63c838ac61
author Sam Leffler <sleffler@google.com> Thu Feb 02 23:36:01 2023 +0000
committer Sam Leffler <sleffler@google.com> Fri Feb 03 00:06:24 2023 +0000
tree fcb156b98a3e5d4e043dbfe70b636a543610d847
parent f883392edfd1fcad9a659c1b1daad1a041dc4f2e

Revert "sel4test: enable elfloader/shoehorn fudge factor"

This reverts commit 7fc4940d1175a115c8520dca00bd393dd378d2b0.

Change-Id: I6b03f51d659b1150d6eaccb83dda986b6f72f9b0

CMakeLists.txt

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 1df05b0..9b8b7a1 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -18,10 +18,6 @@
 # need to be increased in the future
 set(KernelRootCNodeSizeBits 13 CACHE INTERNAL "")
 
-# Force shoehorn.py to include an extra 4M of space when identifying a
-# load location for elfloader.
-SetElfLoaderFudgeFactor("4194304")
-
 # Set our custom domain schedule
 set(KernelDomainSchedule "${CMAKE_CURRENT_LIST_DIR}/domain_schedule.c" CACHE INTERNAL "")
 sel4_import_kernel()