search

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

Linux system call census #117

Closed acw closed 7 years ago

acw commented 7 years ago

MUSL defines ~200 system calls that it may invoke. We need to do a census, to determine which of those calls we are or are not going to implement, which can be shared across HaLVM backends, which need to be backend-specific, which are going to potentially kick out to user-defined backends, etc.

This initial census is being performed in zHALVMCore/musl_syscall_table.txt`.

mbj commented 7 years ago

@acw The .txt file is not associated with an URl. Maybe a markdown / edit mishap.

acw commented 7 years ago

Initial version complete in f9bd1c6.