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 POSIX network redirects #109

Open acw opened 7 years ago

acw commented 7 years ago

Write the backend functions for musl that deal with networking; I believe they'll all need to start with syscall_SYS_ or socketcall. These should either (1) check for an implementation provided by the user via the base HaLVM libraries and dispatch to them if they exist, or (2) just dispatch into the HaLVM, because we're going to implement default behavior in Haskell, anyways.

I suspect that while version 2 is nicer, version 1 will be necessary to avoid infinite loops in the system.