GaloisInc / HaLVM

The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen
BSD 3-Clause "New" or "Revised" License
1.05k stars 88 forks source link

Port of HaLVM3 to the Linux kernel #112

Open acw opened 7 years ago

acw commented 7 years ago

This should be the most obvious, easy port: porting HaLVM3's interface (see #111) to the raw Linux kernel. Given that musl has calls for this, I think we should be able to work this out without too much of a problem.

DO NOT USE GLIBC. We want to call directly into the kernel, because we're hipsters.