From 86113da9d3a0a76ac552c1565835faaffc244ae8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Autin?=
 <francois.autin@etudiant.univ-rennes1.fr>
Date: Tue, 9 May 2023 19:32:33 +0200
Subject: [PATCH] Fixed missing UserStackSize from default configuration

---
 src/utility/cfg.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/utility/cfg.rs b/src/utility/cfg.rs
index f12e51f..b2c671d 100644
--- a/src/utility/cfg.rs
+++ b/src/utility/cfg.rs
@@ -98,6 +98,7 @@ pub fn get_debug_configuration() -> Settings {
     let mut settings_map = Settings::new();
     settings_map.insert(MachineSettingKey::PageSize, 128);
     settings_map.insert(MachineSettingKey::NumPhysPages, 400);
+    settings_map.insert(MachineSettingKey::UserStackSize, 4096);
     settings_map
 }