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

Determine underlying system interface #111

Open acw opened 7 years ago

acw commented 7 years ago

Please don't try to do this from first principles. Instead, let's figure out what core musl upcalls we can't write in a generic manner, and use those as the requirements. This task is thus mostly going to be an exercise in documentation.

The only exception to this rule might be the threading system; it might be useful to have bits and pieces of that around as a library.