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 file API redirects #108

Open acw opened 7 years ago

acw commented 7 years ago

Write the backend functions for musl that deal with the file system; I believe they'll all need to start with syscall_SYS_ and the like. 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.