Commit 5014117d authored by Committed by ROOLBrowse files
Fix PMP appspace size check
Fix AreaGrow to read appspace size correctly when appspace is a PMP (i.e. an AMBControl node). Reading DANode_Size will only report the amount of memory currently paged in (e.g. by lazy task swapping), causing AreaGrow to underestimate how much it can potentially take from the area.
Showing with 10 additions and 7 deletions