├── .gitignore ├── .travis-ci.sh ├── .travis.yml ├── CHANGES.md ├── LICENSE.md ├── Makefile ├── README.md ├── mirage-xen-ocaml.opam ├── mirage-xen-posix.opam ├── xen-ocaml ├── .gitignore ├── Makefile ├── build.sh ├── config │ ├── s.h │ ├── version-404.h │ ├── version-405.h │ ├── version-4060.h │ ├── version-4061.h │ ├── version-4070.h │ ├── version-4071.h │ ├── version-4080.h │ ├── version-4090.h │ ├── version-4100.h │ └── version-4110.h ├── flags │ ├── cflags.tmp.in │ └── libs.tmp.in ├── install.sh ├── mirage-xen-ocaml.pc └── uninstall.sh └── xen-posix ├── Makefile ├── build.sh ├── flags ├── minios-cflags.tmp.in ├── minios-libs.tmp.in ├── posix-cflags.tmp.in └── posix-libs.tmp.in ├── include ├── alloca.h ├── asm │ ├── sigcontext.h │ └── types.h ├── errno.h ├── log.h ├── math.h ├── setjmp.h ├── signal.h ├── stdio.h ├── stdlib.h ├── string.h ├── sys │ ├── cdefs.h │ ├── featuretest.h │ ├── param.h │ ├── resource.h │ ├── select.h │ ├── stat.h │ ├── time.h │ ├── times.h │ ├── types.h │ ├── ucontext.h │ └── wait.h ├── time.h ├── unistd.h └── x86 │ └── math.h ├── install.sh ├── mirage-xen-minios.pc ├── mirage-xen-posix.pc ├── src ├── dtoa.c ├── fmt_fp.c ├── fmt_fp.h ├── libxenposix.cclib ├── mini_libc.c └── strtol.c └── uninstall.sh /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/mirage-platform/HEAD/.gitignore -------------------------------------------------------------------------------- /.travis-ci.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/mirage-platform/HEAD/.travis-ci.sh -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/mirage-platform/HEAD/.travis.yml -------------------------------------------------------------------------------- /CHANGES.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/mirage-platform/HEAD/CHANGES.md -------------------------------------------------------------------------------- /LICENSE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/mirage-platform/HEAD/LICENSE.md -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/mirage-platform/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/mirage-platform/HEAD/README.md -------------------------------------------------------------------------------- /mirage-xen-ocaml.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/mirage-platform/HEAD/mirage-xen-ocaml.opam -------------------------------------------------------------------------------- /mirage-xen-posix.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/mirage-platform/HEAD/mirage-xen-posix.opam -------------------------------------------------------------------------------- /xen-ocaml/.gitignore: -------------------------------------------------------------------------------- 1 | ocaml-src 2 | -------------------------------------------------------------------------------- /xen-ocaml/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/mirage-platform/HEAD/xen-ocaml/Makefile -------------------------------------------------------------------------------- /xen-ocaml/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/mirage-platform/HEAD/xen-ocaml/build.sh -------------------------------------------------------------------------------- /xen-ocaml/config/s.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/mirage-platform/HEAD/xen-ocaml/config/s.h -------------------------------------------------------------------------------- /xen-ocaml/config/version-404.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/mirage-platform/HEAD/xen-ocaml/config/version-404.h -------------------------------------------------------------------------------- /xen-ocaml/config/version-405.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/mirage-platform/HEAD/xen-ocaml/config/version-405.h -------------------------------------------------------------------------------- /xen-ocaml/config/version-4060.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/mirage-platform/HEAD/xen-ocaml/config/version-4060.h -------------------------------------------------------------------------------- /xen-ocaml/config/version-4061.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/mirage-platform/HEAD/xen-ocaml/config/version-4061.h -------------------------------------------------------------------------------- /xen-ocaml/config/version-4070.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/mirage-platform/HEAD/xen-ocaml/config/version-4070.h -------------------------------------------------------------------------------- /xen-ocaml/config/version-4071.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/mirage-platform/HEAD/xen-ocaml/config/version-4071.h -------------------------------------------------------------------------------- /xen-ocaml/config/version-4080.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/mirage-platform/HEAD/xen-ocaml/config/version-4080.h -------------------------------------------------------------------------------- /xen-ocaml/config/version-4090.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/mirage-platform/HEAD/xen-ocaml/config/version-4090.h -------------------------------------------------------------------------------- /xen-ocaml/config/version-4100.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/mirage-platform/HEAD/xen-ocaml/config/version-4100.h -------------------------------------------------------------------------------- /xen-ocaml/config/version-4110.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/mirage-platform/HEAD/xen-ocaml/config/version-4110.h -------------------------------------------------------------------------------- /xen-ocaml/flags/cflags.tmp.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/mirage-platform/HEAD/xen-ocaml/flags/cflags.tmp.in -------------------------------------------------------------------------------- /xen-ocaml/flags/libs.tmp.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/mirage-platform/HEAD/xen-ocaml/flags/libs.tmp.in -------------------------------------------------------------------------------- /xen-ocaml/install.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/mirage-platform/HEAD/xen-ocaml/install.sh -------------------------------------------------------------------------------- /xen-ocaml/mirage-xen-ocaml.pc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/mirage-platform/HEAD/xen-ocaml/mirage-xen-ocaml.pc -------------------------------------------------------------------------------- /xen-ocaml/uninstall.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/mirage-platform/HEAD/xen-ocaml/uninstall.sh -------------------------------------------------------------------------------- /xen-posix/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/mirage-platform/HEAD/xen-posix/Makefile -------------------------------------------------------------------------------- /xen-posix/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/mirage-platform/HEAD/xen-posix/build.sh -------------------------------------------------------------------------------- /xen-posix/flags/minios-cflags.tmp.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/mirage-platform/HEAD/xen-posix/flags/minios-cflags.tmp.in -------------------------------------------------------------------------------- /xen-posix/flags/minios-libs.tmp.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/mirage-platform/HEAD/xen-posix/flags/minios-libs.tmp.in -------------------------------------------------------------------------------- /xen-posix/flags/posix-cflags.tmp.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/mirage-platform/HEAD/xen-posix/flags/posix-cflags.tmp.in -------------------------------------------------------------------------------- /xen-posix/flags/posix-libs.tmp.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/mirage-platform/HEAD/xen-posix/flags/posix-libs.tmp.in -------------------------------------------------------------------------------- /xen-posix/include/alloca.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/mirage-platform/HEAD/xen-posix/include/alloca.h -------------------------------------------------------------------------------- /xen-posix/include/asm/sigcontext.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/mirage-platform/HEAD/xen-posix/include/asm/sigcontext.h -------------------------------------------------------------------------------- /xen-posix/include/asm/types.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/mirage-platform/HEAD/xen-posix/include/asm/types.h -------------------------------------------------------------------------------- /xen-posix/include/errno.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/mirage-platform/HEAD/xen-posix/include/errno.h -------------------------------------------------------------------------------- /xen-posix/include/log.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/mirage-platform/HEAD/xen-posix/include/log.h -------------------------------------------------------------------------------- /xen-posix/include/math.h: -------------------------------------------------------------------------------- 1 | #include 2 | -------------------------------------------------------------------------------- /xen-posix/include/setjmp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/mirage-platform/HEAD/xen-posix/include/setjmp.h -------------------------------------------------------------------------------- /xen-posix/include/signal.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/mirage-platform/HEAD/xen-posix/include/signal.h -------------------------------------------------------------------------------- /xen-posix/include/stdio.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/mirage-platform/HEAD/xen-posix/include/stdio.h -------------------------------------------------------------------------------- /xen-posix/include/stdlib.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/mirage-platform/HEAD/xen-posix/include/stdlib.h -------------------------------------------------------------------------------- /xen-posix/include/string.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/mirage-platform/HEAD/xen-posix/include/string.h -------------------------------------------------------------------------------- /xen-posix/include/sys/cdefs.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/mirage-platform/HEAD/xen-posix/include/sys/cdefs.h -------------------------------------------------------------------------------- /xen-posix/include/sys/featuretest.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/mirage-platform/HEAD/xen-posix/include/sys/featuretest.h -------------------------------------------------------------------------------- /xen-posix/include/sys/param.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/mirage-platform/HEAD/xen-posix/include/sys/param.h -------------------------------------------------------------------------------- /xen-posix/include/sys/resource.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/mirage-platform/HEAD/xen-posix/include/sys/resource.h -------------------------------------------------------------------------------- /xen-posix/include/sys/select.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/mirage-platform/HEAD/xen-posix/include/sys/select.h -------------------------------------------------------------------------------- /xen-posix/include/sys/stat.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/mirage-platform/HEAD/xen-posix/include/sys/stat.h -------------------------------------------------------------------------------- /xen-posix/include/sys/time.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/mirage-platform/HEAD/xen-posix/include/sys/time.h -------------------------------------------------------------------------------- /xen-posix/include/sys/times.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/mirage-platform/HEAD/xen-posix/include/sys/times.h -------------------------------------------------------------------------------- /xen-posix/include/sys/types.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/mirage-platform/HEAD/xen-posix/include/sys/types.h -------------------------------------------------------------------------------- /xen-posix/include/sys/ucontext.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/mirage-platform/HEAD/xen-posix/include/sys/ucontext.h -------------------------------------------------------------------------------- /xen-posix/include/sys/wait.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/mirage-platform/HEAD/xen-posix/include/sys/wait.h -------------------------------------------------------------------------------- /xen-posix/include/time.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/mirage-platform/HEAD/xen-posix/include/time.h -------------------------------------------------------------------------------- /xen-posix/include/unistd.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/mirage-platform/HEAD/xen-posix/include/unistd.h -------------------------------------------------------------------------------- /xen-posix/include/x86/math.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/mirage-platform/HEAD/xen-posix/include/x86/math.h -------------------------------------------------------------------------------- /xen-posix/install.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/mirage-platform/HEAD/xen-posix/install.sh -------------------------------------------------------------------------------- /xen-posix/mirage-xen-minios.pc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/mirage-platform/HEAD/xen-posix/mirage-xen-minios.pc -------------------------------------------------------------------------------- /xen-posix/mirage-xen-posix.pc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/mirage-platform/HEAD/xen-posix/mirage-xen-posix.pc -------------------------------------------------------------------------------- /xen-posix/src/dtoa.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/mirage-platform/HEAD/xen-posix/src/dtoa.c -------------------------------------------------------------------------------- /xen-posix/src/fmt_fp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/mirage-platform/HEAD/xen-posix/src/fmt_fp.c -------------------------------------------------------------------------------- /xen-posix/src/fmt_fp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/mirage-platform/HEAD/xen-posix/src/fmt_fp.h -------------------------------------------------------------------------------- /xen-posix/src/libxenposix.cclib: -------------------------------------------------------------------------------- 1 | mini_libc.o 2 | fmt_fp.o 3 | -------------------------------------------------------------------------------- /xen-posix/src/mini_libc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/mirage-platform/HEAD/xen-posix/src/mini_libc.c -------------------------------------------------------------------------------- /xen-posix/src/strtol.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/mirage-platform/HEAD/xen-posix/src/strtol.c -------------------------------------------------------------------------------- /xen-posix/uninstall.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mirage/mirage-platform/HEAD/xen-posix/uninstall.sh --------------------------------------------------------------------------------