HaLVM
HaLVM copied to clipboard
Get rid of allocPage
Or replace allocPage with newAlignedPinnedByteArray# (or a relevant friend).
The goal is to reduce our dependence on dynamically-generated, non-GC-aware memory, so that our initial computation of -M becomes more reasonable.
While we're at it, ditch the mallocBytes in IVC.