quentinlegot/burritos
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Fixed missing UserStackSize from default configuration

Browse Source
This commit is contained in:
François Autin 2023-05-09 19:32:33 +02:00
parent 7be0c0accc
commit 86113da9d3
No known key found for this signature in database
GPG Key ID: 343F5D382E1DD77C
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/utility/cfg.rs
View File

@ -98,6 +98,7 @@ pub fn get_debug_configuration() -> Settings {
let mut settings_map = Settings::new(); let mut settings_map = Settings::new();
settings_map.insert(MachineSettingKey::PageSize, 128); settings_map.insert(MachineSettingKey::PageSize, 128);
settings_map.insert(MachineSettingKey::NumPhysPages, 400); settings_map.insert(MachineSettingKey::NumPhysPages, 400);
settings_map.insert(MachineSettingKey::UserStackSize, 4096);
settings_map settings_map
} }