From 8fe1e0330930915f620cfabf0a6338e1b20aed10 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Autin?=
 <francois.autin@etudiant.univ-rennes1.fr>
Date: Wed, 10 May 2023 12:59:36 +0200
Subject: [PATCH] Changed default memory parameters

---
 src/utility/cfg.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/utility/cfg.rs b/src/utility/cfg.rs
index 87acfc4..b70aba0 100644
--- a/src/utility/cfg.rs
+++ b/src/utility/cfg.rs
@@ -97,8 +97,8 @@ pub fn read_settings() -> Result<Settings, Error> {
 /// FIXME: Does not cover the whole configuration yet
 pub fn get_debug_configuration() -> Settings {
     let mut settings_map = Settings::new();
-    settings_map.insert(MachineSettingKey::PageSize, 2048);
-    settings_map.insert(MachineSettingKey::NumPhysPages, 8192);
+    settings_map.insert(MachineSettingKey::PageSize, 128);
+    settings_map.insert(MachineSettingKey::NumPhysPages, 40000000);
     settings_map.insert(MachineSettingKey::UserStackSize, 4096);
     settings_map
 }