Changed default memory parameters

This commit is contained in:
François Autin 2023-05-10 12:59:36 +02:00
parent 569929098d
commit 8fe1e03309
No known key found for this signature in database
GPG Key ID: 343F5D382E1DD77C

View File

@ -97,8 +97,8 @@ pub fn read_settings() -> Result<Settings, Error> {
/// FIXME: Does not cover the whole configuration yet /// FIXME: Does not cover the whole configuration yet
pub fn get_debug_configuration() -> Settings { pub fn get_debug_configuration() -> Settings {
let mut settings_map = Settings::new(); let mut settings_map = Settings::new();
settings_map.insert(MachineSettingKey::PageSize, 2048); settings_map.insert(MachineSettingKey::PageSize, 128);
settings_map.insert(MachineSettingKey::NumPhysPages, 8192); settings_map.insert(MachineSettingKey::NumPhysPages, 40000000);
settings_map.insert(MachineSettingKey::UserStackSize, 4096); settings_map.insert(MachineSettingKey::UserStackSize, 4096);
settings_map settings_map
} }