├── .github └── workflows │ └── main.yml ├── .gitignore ├── .ocamlformat ├── .ocamlformat-ignore ├── CHANGES.txt ├── LICENSE.txt ├── Makefile ├── README.md ├── TODO ├── discover ├── discover.ml ├── discover.mli └── dune ├── dune-project ├── extunix.opam ├── ppx_have ├── dune └── ppx_have.ml ├── src ├── TODO │ └── ftruncate │ │ ├── ftruncate.ml │ │ └── ftruncateC.c ├── atfile.c ├── bigarray.c ├── common.c ├── common.h ├── dirfd.c ├── dune ├── endian.c ├── endian_helper.h ├── endianba.c ├── eventfd.c ├── execinfo.c ├── extUnix.mli ├── extUnix.pp.ml ├── fadvise.c ├── fallocate.c ├── fexecve.c ├── fsync.c ├── ioctl_siocgifconf.c ├── malloc.c ├── memalign.c ├── mktemp.c ├── mman.c ├── mount.c ├── poll.c ├── pread_pwrite_ba.c ├── ptrace.c ├── pts.c ├── read_cred.c ├── realpath.c ├── rename.c ├── resource.c ├── sendmsg.c ├── signalfd.c ├── sockopt.c ├── splice.c ├── statvfs.c ├── stdlib.c ├── sysconf.c ├── sysinfo.c ├── syslog.c ├── time.c ├── tty_ioctl.c ├── uname.c ├── unistd.c ├── unshare.c └── wait4.c └── test ├── dune ├── test.ml ├── test_user_namespace.ml └── testba.ml /.github/workflows/main.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ygrek/extunix/HEAD/.github/workflows/main.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ygrek/extunix/HEAD/.gitignore -------------------------------------------------------------------------------- /.ocamlformat: -------------------------------------------------------------------------------- 1 | profile = default 2 | version = 0.27.0 3 | -------------------------------------------------------------------------------- /.ocamlformat-ignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ygrek/extunix/HEAD/.ocamlformat-ignore -------------------------------------------------------------------------------- /CHANGES.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ygrek/extunix/HEAD/CHANGES.txt -------------------------------------------------------------------------------- /LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ygrek/extunix/HEAD/LICENSE.txt -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ygrek/extunix/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ygrek/extunix/HEAD/README.md -------------------------------------------------------------------------------- /TODO: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ygrek/extunix/HEAD/TODO -------------------------------------------------------------------------------- /discover/discover.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ygrek/extunix/HEAD/discover/discover.ml -------------------------------------------------------------------------------- /discover/discover.mli: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /discover/dune: -------------------------------------------------------------------------------- 1 | (executable 2 | (name discover) 3 | (libraries dune.configurator)) 4 | -------------------------------------------------------------------------------- /dune-project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ygrek/extunix/HEAD/dune-project -------------------------------------------------------------------------------- /extunix.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ygrek/extunix/HEAD/extunix.opam -------------------------------------------------------------------------------- /ppx_have/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ygrek/extunix/HEAD/ppx_have/dune -------------------------------------------------------------------------------- /ppx_have/ppx_have.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ygrek/extunix/HEAD/ppx_have/ppx_have.ml -------------------------------------------------------------------------------- /src/TODO/ftruncate/ftruncate.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ygrek/extunix/HEAD/src/TODO/ftruncate/ftruncate.ml -------------------------------------------------------------------------------- /src/TODO/ftruncate/ftruncateC.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ygrek/extunix/HEAD/src/TODO/ftruncate/ftruncateC.c -------------------------------------------------------------------------------- /src/atfile.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ygrek/extunix/HEAD/src/atfile.c -------------------------------------------------------------------------------- /src/bigarray.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ygrek/extunix/HEAD/src/bigarray.c -------------------------------------------------------------------------------- /src/common.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ygrek/extunix/HEAD/src/common.c -------------------------------------------------------------------------------- /src/common.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ygrek/extunix/HEAD/src/common.h -------------------------------------------------------------------------------- /src/dirfd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ygrek/extunix/HEAD/src/dirfd.c -------------------------------------------------------------------------------- /src/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ygrek/extunix/HEAD/src/dune -------------------------------------------------------------------------------- /src/endian.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ygrek/extunix/HEAD/src/endian.c -------------------------------------------------------------------------------- /src/endian_helper.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ygrek/extunix/HEAD/src/endian_helper.h -------------------------------------------------------------------------------- /src/endianba.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ygrek/extunix/HEAD/src/endianba.c -------------------------------------------------------------------------------- /src/eventfd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ygrek/extunix/HEAD/src/eventfd.c -------------------------------------------------------------------------------- /src/execinfo.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ygrek/extunix/HEAD/src/execinfo.c -------------------------------------------------------------------------------- /src/extUnix.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ygrek/extunix/HEAD/src/extUnix.mli -------------------------------------------------------------------------------- /src/extUnix.pp.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ygrek/extunix/HEAD/src/extUnix.pp.ml -------------------------------------------------------------------------------- /src/fadvise.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ygrek/extunix/HEAD/src/fadvise.c -------------------------------------------------------------------------------- /src/fallocate.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ygrek/extunix/HEAD/src/fallocate.c -------------------------------------------------------------------------------- /src/fexecve.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ygrek/extunix/HEAD/src/fexecve.c -------------------------------------------------------------------------------- /src/fsync.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ygrek/extunix/HEAD/src/fsync.c -------------------------------------------------------------------------------- /src/ioctl_siocgifconf.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ygrek/extunix/HEAD/src/ioctl_siocgifconf.c -------------------------------------------------------------------------------- /src/malloc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ygrek/extunix/HEAD/src/malloc.c -------------------------------------------------------------------------------- /src/memalign.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ygrek/extunix/HEAD/src/memalign.c -------------------------------------------------------------------------------- /src/mktemp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ygrek/extunix/HEAD/src/mktemp.c -------------------------------------------------------------------------------- /src/mman.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ygrek/extunix/HEAD/src/mman.c -------------------------------------------------------------------------------- /src/mount.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ygrek/extunix/HEAD/src/mount.c -------------------------------------------------------------------------------- /src/poll.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ygrek/extunix/HEAD/src/poll.c -------------------------------------------------------------------------------- /src/pread_pwrite_ba.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ygrek/extunix/HEAD/src/pread_pwrite_ba.c -------------------------------------------------------------------------------- /src/ptrace.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ygrek/extunix/HEAD/src/ptrace.c -------------------------------------------------------------------------------- /src/pts.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ygrek/extunix/HEAD/src/pts.c -------------------------------------------------------------------------------- /src/read_cred.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ygrek/extunix/HEAD/src/read_cred.c -------------------------------------------------------------------------------- /src/realpath.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ygrek/extunix/HEAD/src/realpath.c -------------------------------------------------------------------------------- /src/rename.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ygrek/extunix/HEAD/src/rename.c -------------------------------------------------------------------------------- /src/resource.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ygrek/extunix/HEAD/src/resource.c -------------------------------------------------------------------------------- /src/sendmsg.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ygrek/extunix/HEAD/src/sendmsg.c -------------------------------------------------------------------------------- /src/signalfd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ygrek/extunix/HEAD/src/signalfd.c -------------------------------------------------------------------------------- /src/sockopt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ygrek/extunix/HEAD/src/sockopt.c -------------------------------------------------------------------------------- /src/splice.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ygrek/extunix/HEAD/src/splice.c -------------------------------------------------------------------------------- /src/statvfs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ygrek/extunix/HEAD/src/statvfs.c -------------------------------------------------------------------------------- /src/stdlib.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ygrek/extunix/HEAD/src/stdlib.c -------------------------------------------------------------------------------- /src/sysconf.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ygrek/extunix/HEAD/src/sysconf.c -------------------------------------------------------------------------------- /src/sysinfo.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ygrek/extunix/HEAD/src/sysinfo.c -------------------------------------------------------------------------------- /src/syslog.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ygrek/extunix/HEAD/src/syslog.c -------------------------------------------------------------------------------- /src/time.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ygrek/extunix/HEAD/src/time.c -------------------------------------------------------------------------------- /src/tty_ioctl.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ygrek/extunix/HEAD/src/tty_ioctl.c -------------------------------------------------------------------------------- /src/uname.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ygrek/extunix/HEAD/src/uname.c -------------------------------------------------------------------------------- /src/unistd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ygrek/extunix/HEAD/src/unistd.c -------------------------------------------------------------------------------- /src/unshare.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ygrek/extunix/HEAD/src/unshare.c -------------------------------------------------------------------------------- /src/wait4.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ygrek/extunix/HEAD/src/wait4.c -------------------------------------------------------------------------------- /test/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ygrek/extunix/HEAD/test/dune -------------------------------------------------------------------------------- /test/test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ygrek/extunix/HEAD/test/test.ml -------------------------------------------------------------------------------- /test/test_user_namespace.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ygrek/extunix/HEAD/test/test_user_namespace.ml -------------------------------------------------------------------------------- /test/testba.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ygrek/extunix/HEAD/test/testba.ml --------------------------------------------------------------------------------