diff --git a/config.ml b/config.ml index a28f2f0..d33bf23 100644 --- a/config.ml +++ b/config.ml @@ -30,7 +30,7 @@ let main = package "mirage-qubes" ~min:"0.9.1"; package "mirage-nat" ~min:"2.2.1"; package "mirage-logs"; - package "mirage-xen" ~min:"7.0.0"; + package "mirage-xen" ~min:"8.0.0"; package ~min:"6.1.0" "dns-client"; package "pf-qubes"; ] diff --git a/memory_pressure.ml b/memory_pressure.ml index 7f367fb..665ae14 100644 --- a/memory_pressure.ml +++ b/memory_pressure.ml @@ -43,11 +43,12 @@ let init () = let status () = let stats = Xen_os.Memory.quick_stat () in - if fraction_free stats > 0.1 then `Ok + if fraction_free stats > 0.4 then `Ok else ( Gc.full_major (); + Xen_os.Memory.trim (); let stats = Xen_os.Memory.quick_stat () in report_mem_usage stats; - if fraction_free stats < 0.1 then `Memory_critical + if fraction_free stats < 0.4 then `Memory_critical else `Ok )