HaLVM
HaLVM copied to clipboard
GaloisInc
The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen
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.
The current `-M` computation is assuming that all of memory not required for the code segment will be the GC'd heap. We should add a 1-2MB buffer, and then lean...
It looks like `HaNS`'s `master` is far before HaLVM `master`'s `examples/HighLevel/WebServer.hs`
About what it says on the tin. Update the version of cabal-install built and try to get new-build working.
We need xen to build the package and test the examples. I am not sure if AWS or something will support this infrastructure.
Keeping this issue here for now. Under rare circumstances, an `EINVAL` is thrown from the RTS in this location: https://github.com/GaloisInc/halvm-ghc/blob/822191da28533109c89e10317e5aae110611aabd/rts/xen/grants.c#L90 Per @acw, reasons being possibly that - A page that...
Problem ====== GHC 8 added the new `TemplateHaskellQuotes` extension for the subset of TH that a stage 1 GHC supports: https://ghc.haskell.org/trac/ghc/ticket/11102. HaLVM uses a (modified) stage 1 GHC, except it...
