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

Implement generic Linux upcalls #110

Open acw opened 7 years ago

acw commented 7 years ago

Many of the upcalls that musl will make into our fake Linux kernel are going to be generic across all the platforms, or have obvious defaults that work for most platforms. We should write all these up in the base HaLVM libraries, so we don't have to worry about them.

For functions that probably won't need to be overwritten for a platform, but may, we can use ld's weak symbol functionality, so that they get overwritten as necessary. Musl is already going to do this, so we might as well jump on the bandwagon.