sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page
The package failed to build. The error log from opam follows.
Opam plugin "depext" may require upgrading/reinstalling. Reinstall the plugin on the current switch? [Y/n] y The following actions will be performed: - recompile opam-depext 1.2.3 <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> retrieved opam-depext.1.2.3 (cached) -> removed opam-depext.1.2.3 -> installed opam-depext.1.2.3 Done. <><> opam-depext.1.2.3 installed successfully <><><><><><><><><><><><><><><><><> => opam-depext is unnecessary when used with opam >= 2.1. Please use opam install directly instead # Run eval $(opam env) to update the current shell environment <><> Carrying on to "opam depext -viy mirage-xen-minios.0.4.1" ><><><><><><><><> Since version 2.1, opam now handles external dependencies alongside OCaml ones, and the `depext` plugin interface is provided for backwards compatibility only. Consider using your usual `opam install` command to install both OCaml and system dependencies, or `opam install <pkg> --depext-only` if you want to only install external dependencies. # Detecting depexts using vars: arch=x86_64, os=linux, os-distribution=debian, os-family=debian # No extra OS packages requirements found. The following actions will be performed: - install mirage-xen-minios 0.4.1 <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> Processing 1/3: [mirage-xen-minios.0.4.1: http] Processing 1/3: -> retrieved mirage-xen-minios.0.4.1 (https://github.com/mirage/mirage-xen-minios/releases/download/v0.4.1/mirage-xen-minios-v0.4.1.tar.bz2) Processing 3/3: [mirage-xen-minios: make build] + /usr/bin/make "build" (CWD=/home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1) - ./install.sh - + . ./vars.sh - + [ = ] - + command -v opam - + opam config var prefix - + PREFIX=/home/opam/.opam/5.1 - + MINIOS=minios-v0.4.1 - + MINIOS_ARCHIVE=minios-v0.4.1.tar.gz - + MINIOS_URL=https://github.com/talex5/xen/archive/minios-v0.4.1.tar.gz - + LIBM=openlibm-0.4 - + LIBM_ARCHIVE=v0.4.tar.gz - + LIBM_URL=https://github.com/JuliaLang/openlibm/archive/v0.4.tar.gz - + rm -rf xen-minios-v0.4.1 - + tar -zxf minios-v0.4.1.tar.gz - + cd xen-minios-v0.4.1/extras/mini-os - + make debug=n - make[1]: Entering directory '/home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os' - ln -sf . include/mini-os - ln -sf ../../../xen/include/public include/xen - ln -sf . arch/x86/include/mini-os - cp /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../xen/include/xen/libfdt/fdt.h include/fdt.h - sed 's!xen/libfdt/!!' /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../xen/include/xen/libfdt/libfdt.h > include/libfdt.h - gcc -DCONFIG_START_NETWORK -DCONFIG_SPARSE_BSS -DCONFIG_BLKFRONT -DCONFIG_NETFRONT -DCONFIG_KBDFRONT -DCONFIG_FBFRONT -DCONFIG_CONSFRONT -DCONFIG_XENBUS -fno-builtin -Wall -Werror -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include/x86_64 -c blkfront.c -o /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/blkfront.o - gcc -DCONFIG_START_NETWORK -DCONFIG_SPARSE_BSS -DCONFIG_BLKFRONT -DCONFIG_NETFRONT -DCONFIG_KBDFRONT -DCONFIG_FBFRONT -DCONFIG_CONSFRONT -DCONFIG_XENBUS -fno-builtin -Wall -Werror -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include/x86_64 -c events.c -o /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/events.o - gcc -DCONFIG_START_NETWORK -DCONFIG_SPARSE_BSS -DCONFIG_BLKFRONT -DCONFIG_NETFRONT -DCONFIG_KBDFRONT -DCONFIG_FBFRONT -DCONFIG_CONSFRONT -DCONFIG_XENBUS -fno-builtin -Wall -Werror -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include/x86_64 -c fbfront.c -o /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/fbfront.o - gcc -DCONFIG_START_NETWORK -DCONFIG_SPARSE_BSS -DCONFIG_BLKFRONT -DCONFIG_NETFRONT -DCONFIG_KBDFRONT -DCONFIG_FBFRONT -DCONFIG_CONSFRONT -DCONFIG_XENBUS -fno-builtin -Wall -Werror -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include/x86_64 -c gntmap.c -o /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/gntmap.o - gcc -DCONFIG_START_NETWORK -DCONFIG_SPARSE_BSS -DCONFIG_BLKFRONT -DCONFIG_NETFRONT -DCONFIG_KBDFRONT -DCONFIG_FBFRONT -DCONFIG_CONSFRONT -DCONFIG_XENBUS -fno-builtin -Wall -Werror -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include/x86_64 -c gnttab.c -o /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/gnttab.o - gcc -DCONFIG_START_NETWORK -DCONFIG_SPARSE_BSS -DCONFIG_BLKFRONT -DCONFIG_NETFRONT -DCONFIG_KBDFRONT -DCONFIG_FBFRONT -DCONFIG_CONSFRONT -DCONFIG_XENBUS -fno-builtin -Wall -Werror -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include/x86_64 -c hypervisor.c -o /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/hypervisor.o - gcc -DCONFIG_START_NETWORK -DCONFIG_SPARSE_BSS -DCONFIG_BLKFRONT -DCONFIG_NETFRONT -DCONFIG_KBDFRONT -DCONFIG_FBFRONT -DCONFIG_CONSFRONT -DCONFIG_XENBUS -fno-builtin -Wall -Werror -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include/x86_64 -c kernel.c -o /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/kernel.o - gcc -DCONFIG_START_NETWORK -DCONFIG_SPARSE_BSS -DCONFIG_BLKFRONT -DCONFIG_NETFRONT -DCONFIG_KBDFRONT -DCONFIG_FBFRONT -DCONFIG_CONSFRONT -DCONFIG_XENBUS -fno-builtin -Wall -Werror -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include/x86_64 -c lock.c -o /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/lock.o - gcc -DCONFIG_START_NETWORK -DCONFIG_SPARSE_BSS -DCONFIG_BLKFRONT -DCONFIG_NETFRONT -DCONFIG_KBDFRONT -DCONFIG_FBFRONT -DCONFIG_CONSFRONT -DCONFIG_XENBUS -fno-builtin -Wall -Werror -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include/x86_64 -c main.c -o /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/main.o - gcc -DCONFIG_START_NETWORK -DCONFIG_SPARSE_BSS -DCONFIG_BLKFRONT -DCONFIG_NETFRONT -DCONFIG_KBDFRONT -DCONFIG_FBFRONT -DCONFIG_CONSFRONT -DCONFIG_XENBUS -fno-builtin -Wall -Werror -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include/x86_64 -c mm.c -o /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/mm.o - gcc -DCONFIG_START_NETWORK -DCONFIG_SPARSE_BSS -DCONFIG_BLKFRONT -DCONFIG_NETFRONT -DCONFIG_KBDFRONT -DCONFIG_FBFRONT -DCONFIG_CONSFRONT -DCONFIG_XENBUS -fno-builtin -Wall -Werror -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include/x86_64 -c netfront.c -o /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/netfront.o - gcc -DCONFIG_START_NETWORK -DCONFIG_SPARSE_BSS -DCONFIG_BLKFRONT -DCONFIG_NETFRONT -DCONFIG_KBDFRONT -DCONFIG_FBFRONT -DCONFIG_CONSFRONT -DCONFIG_XENBUS -fno-builtin -Wall -Werror -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include/x86_64 -c sched.c -o /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/sched.o - gcc -DCONFIG_START_NETWORK -DCONFIG_SPARSE_BSS -DCONFIG_BLKFRONT -DCONFIG_NETFRONT -DCONFIG_KBDFRONT -DCONFIG_FBFRONT -DCONFIG_CONSFRONT -DCONFIG_XENBUS -fno-builtin -Wall -Werror -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include/x86_64 -c lib/ctype.c -o /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/lib/ctype.o - gcc -DCONFIG_START_NETWORK -DCONFIG_SPARSE_BSS -DCONFIG_BLKFRONT -DCONFIG_NETFRONT -DCONFIG_KBDFRONT -DCONFIG_FBFRONT -DCONFIG_CONSFRONT -DCONFIG_XENBUS -fno-builtin -Wall -Werror -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include/x86_64 -c lib/math.c -o /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/lib/math.o - gcc -DCONFIG_START_NETWORK -DCONFIG_SPARSE_BSS -DCONFIG_BLKFRONT -DCONFIG_NETFRONT -DCONFIG_KBDFRONT -DCONFIG_FBFRONT -DCONFIG_CONSFRONT -DCONFIG_XENBUS -fno-builtin -Wall -Werror -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include/x86_64 -c lib/printf.c -o /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/lib/printf.o - gcc -DCONFIG_START_NETWORK -DCONFIG_SPARSE_BSS -DCONFIG_BLKFRONT -DCONFIG_NETFRONT -DCONFIG_KBDFRONT -DCONFIG_FBFRONT -DCONFIG_CONSFRONT -DCONFIG_XENBUS -fno-builtin -Wall -Werror -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include/x86_64 -c lib/stack_chk_fail.c -o /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/lib/stack_chk_fail.o - gcc -DCONFIG_START_NETWORK -DCONFIG_SPARSE_BSS -DCONFIG_BLKFRONT -DCONFIG_NETFRONT -DCONFIG_KBDFRONT -DCONFIG_FBFRONT -DCONFIG_CONSFRONT -DCONFIG_XENBUS -fno-builtin -Wall -Werror -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include/x86_64 -c lib/string.c -o /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/lib/string.o - gcc -DCONFIG_START_NETWORK -DCONFIG_SPARSE_BSS -DCONFIG_BLKFRONT -DCONFIG_NETFRONT -DCONFIG_KBDFRONT -DCONFIG_FBFRONT -DCONFIG_CONSFRONT -DCONFIG_XENBUS -fno-builtin -Wall -Werror -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include/x86_64 -c lib/memmove.c -o /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/lib/memmove.o - gcc -DCONFIG_START_NETWORK -DCONFIG_SPARSE_BSS -DCONFIG_BLKFRONT -DCONFIG_NETFRONT -DCONFIG_KBDFRONT -DCONFIG_FBFRONT -DCONFIG_CONSFRONT -DCONFIG_XENBUS -fno-builtin -Wall -Werror -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include/x86_64 -c lib/sys.c -o /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/lib/sys.o - gcc -DCONFIG_START_NETWORK -DCONFIG_SPARSE_BSS -DCONFIG_BLKFRONT -DCONFIG_NETFRONT -DCONFIG_KBDFRONT -DCONFIG_FBFRONT -DCONFIG_CONSFRONT -DCONFIG_XENBUS -fno-builtin -Wall -Werror -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include/x86_64 -c lib/xmalloc.c -o /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/lib/xmalloc.o - gcc -DCONFIG_START_NETWORK -DCONFIG_SPARSE_BSS -DCONFIG_BLKFRONT -DCONFIG_NETFRONT -DCONFIG_KBDFRONT -DCONFIG_FBFRONT -DCONFIG_CONSFRONT -DCONFIG_XENBUS -fno-builtin -Wall -Werror -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include/x86_64 -c lib/xs.c -o /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/lib/xs.o - gcc -DCONFIG_START_NETWORK -DCONFIG_SPARSE_BSS -DCONFIG_BLKFRONT -DCONFIG_NETFRONT -DCONFIG_KBDFRONT -DCONFIG_FBFRONT -DCONFIG_CONSFRONT -DCONFIG_XENBUS -fno-builtin -Wall -Werror -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include/x86_64 -c xenbus/xenbus.c -o /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/xenbus/xenbus.o - gcc -DCONFIG_START_NETWORK -DCONFIG_SPARSE_BSS -DCONFIG_BLKFRONT -DCONFIG_NETFRONT -DCONFIG_KBDFRONT -DCONFIG_FBFRONT -DCONFIG_CONSFRONT -DCONFIG_XENBUS -fno-builtin -Wall -Werror -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include/x86_64 -c console/console.c -o /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/console/console.o - gcc -DCONFIG_START_NETWORK -DCONFIG_SPARSE_BSS -DCONFIG_BLKFRONT -DCONFIG_NETFRONT -DCONFIG_KBDFRONT -DCONFIG_FBFRONT -DCONFIG_CONSFRONT -DCONFIG_XENBUS -fno-builtin -Wall -Werror -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include/x86_64 -c console/xencons_ring.c -o /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/console/xencons_ring.o - gcc -DCONFIG_START_NETWORK -DCONFIG_SPARSE_BSS -DCONFIG_BLKFRONT -DCONFIG_NETFRONT -DCONFIG_KBDFRONT -DCONFIG_FBFRONT -DCONFIG_CONSFRONT -DCONFIG_XENBUS -fno-builtin -Wall -Werror -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include/x86_64 -c console/xenbus.c -o /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/console/xenbus.o - make --directory=arch/x86 OBJ_DIR=/home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/arch/x86 || exit 1; - make[2]: Entering directory '/home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/arch/x86' - gcc -fno-builtin -Wall -Werror -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/arch/x86/../../../../extras/mini-os/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/arch/x86/../../../../extras/mini-os/arch/x86/include -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/arch/x86/../../../../extras/mini-os/arch/x86/include/x86_64 -c events.c -o /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/arch/x86/events.o - gcc -fno-builtin -Wall -Werror -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/arch/x86/../../../../extras/mini-os/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/arch/x86/../../../../extras/mini-os/arch/x86/include -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/arch/x86/../../../../extras/mini-os/arch/x86/include/x86_64 -c ioremap.c -o /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/arch/x86/ioremap.o - gcc -fno-builtin -Wall -Werror -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/arch/x86/../../../../extras/mini-os/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/arch/x86/../../../../extras/mini-os/arch/x86/include -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/arch/x86/../../../../extras/mini-os/arch/x86/include/x86_64 -c iorw.c -o /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/arch/x86/iorw.o - gcc -fno-builtin -Wall -Werror -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/arch/x86/../../../../extras/mini-os/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/arch/x86/../../../../extras/mini-os/arch/x86/include -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/arch/x86/../../../../extras/mini-os/arch/x86/include/x86_64 -c mm.c -o /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/arch/x86/mm.o - gcc -fno-builtin -Wall -Werror -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/arch/x86/../../../../extras/mini-os/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/arch/x86/../../../../extras/mini-os/arch/x86/include -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/arch/x86/../../../../extras/mini-os/arch/x86/include/x86_64 -c sched.c -o /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/arch/x86/sched.o - gcc -fno-builtin -Wall -Werror -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/arch/x86/../../../../extras/mini-os/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/arch/x86/../../../../extras/mini-os/arch/x86/include -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/arch/x86/../../../../extras/mini-os/arch/x86/include/x86_64 -c setup.c -o /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/arch/x86/setup.o - setup.c: In function 'arch_init': - setup.c:128:38: error: the comparison will always evaluate as 'true' for the address of 'cmd_line' will never be NULL [-Werror=address] - 128 | si->cmd_line ? (const char *)si->cmd_line : "NULL"); - | ^ - In file included from /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/include/hypervisor.h:16, - from /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/arch/x86/include/os.h:16, - from setup.c:29: - /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/xen/include/public/xen.h:755:12: note: 'cmd_line' declared here - 755 | int8_t cmd_line[MAX_GUEST_CMDLINE]; - | ^~~~~~~~ - cc1: all warnings being treated as errors - make[2]: *** [../../minios.mk:70: /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/arch/x86/setup.o] Error 1 - make[2]: Leaving directory '/home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/arch/x86' - make[1]: *** [Makefile:181: arch_lib] Error 1 - make[1]: Leaving directory '/home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os' - make: *** [Makefile:11: build] Error 2 [ERROR] The installation of mirage-xen-minios failed at "make build". #=== ERROR while installing mirage-xen-minios.0.4.1 ===========================# # context 2.1.6 | linux/x86_64 | ocaml-base-compiler.5.1.1 | file:///src # path ~/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1 # command /usr/bin/make build # exit-code 2 # env-file ~/.opam/log/mirage-xen-minios-115-3ffa93.env # output-file ~/.opam/log/mirage-xen-minios-115-3ffa93.out ### output ### # ./install.sh # + . ./vars.sh # + [ = ] # + command -v opam # + opam config var prefix # + PREFIX=/home/opam/.opam/5.1 # + MINIOS=minios-v0.4.1 # + MINIOS_ARCHIVE=minios-v0.4.1.tar.gz # + MINIOS_URL=https://github.com/talex5/xen/archive/minios-v0.4.1.tar.gz # + LIBM=openlibm-0.4 # + LIBM_ARCHIVE=v0.4.tar.gz # + LIBM_URL=https://github.com/JuliaLang/openlibm/archive/v0.4.tar.gz # + rm -rf xen-minios-v0.4.1 # + tar -zxf minios-v0.4.1.tar.gz # + cd xen-minios-v0.4.1/extras/mini-os # + make debug=n # make[1]: Entering directory '/home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os' # ln -sf . include/mini-os # ln -sf ../../../xen/include/public include/xen # ln -sf . arch/x86/include/mini-os # cp /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../xen/include/xen/libfdt/fdt.h include/fdt.h # sed 's!xen/libfdt/!!' /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../xen/include/xen/libfdt/libfdt.h > include/libfdt.h # gcc -DCONFIG_START_NETWORK -DCONFIG_SPARSE_BSS -DCONFIG_BLKFRONT -DCONFIG_NETFRONT -DCONFIG_KBDFRONT -DCONFIG_FBFRONT -DCONFIG_CONSFRONT -DCONFIG_XENBUS -fno-builtin -Wall -Werror -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include/x86_64 -c blkfront.c -o /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/blkfront.o # gcc -DCONFIG_START_NETWORK -DCONFIG_SPARSE_BSS -DCONFIG_BLKFRONT -DCONFIG_NETFRONT -DCONFIG_KBDFRONT -DCONFIG_FBFRONT -DCONFIG_CONSFRONT -DCONFIG_XENBUS -fno-builtin -Wall -Werror -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include/x86_64 -c events.c -o /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/events.o # gcc -DCONFIG_START_NETWORK -DCONFIG_SPARSE_BSS -DCONFIG_BLKFRONT -DCONFIG_NETFRONT -DCONFIG_KBDFRONT -DCONFIG_FBFRONT -DCONFIG_CONSFRONT -DCONFIG_XENBUS -fno-builtin -Wall -Werror -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include/x86_64 -c fbfront.c -o /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/fbfront.o # gcc -DCONFIG_START_NETWORK -DCONFIG_SPARSE_BSS -DCONFIG_BLKFRONT -DCONFIG_NETFRONT -DCONFIG_KBDFRONT -DCONFIG_FBFRONT -DCONFIG_CONSFRONT -DCONFIG_XENBUS -fno-builtin -Wall -Werror -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include/x86_64 -c gntmap.c -o /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/gntmap.o # gcc -DCONFIG_START_NETWORK -DCONFIG_SPARSE_BSS -DCONFIG_BLKFRONT -DCONFIG_NETFRONT -DCONFIG_KBDFRONT -DCONFIG_FBFRONT -DCONFIG_CONSFRONT -DCONFIG_XENBUS -fno-builtin -Wall -Werror -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include/x86_64 -c gnttab.c -o /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/gnttab.o # gcc -DCONFIG_START_NETWORK -DCONFIG_SPARSE_BSS -DCONFIG_BLKFRONT -DCONFIG_NETFRONT -DCONFIG_KBDFRONT -DCONFIG_FBFRONT -DCONFIG_CONSFRONT -DCONFIG_XENBUS -fno-builtin -Wall -Werror -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include/x86_64 -c hypervisor.c -o /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/hypervisor.o # gcc -DCONFIG_START_NETWORK -DCONFIG_SPARSE_BSS -DCONFIG_BLKFRONT -DCONFIG_NETFRONT -DCONFIG_KBDFRONT -DCONFIG_FBFRONT -DCONFIG_CONSFRONT -DCONFIG_XENBUS -fno-builtin -Wall -Werror -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include/x86_64 -c kernel.c -o /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/kernel.o # gcc -DCONFIG_START_NETWORK -DCONFIG_SPARSE_BSS -DCONFIG_BLKFRONT -DCONFIG_NETFRONT -DCONFIG_KBDFRONT -DCONFIG_FBFRONT -DCONFIG_CONSFRONT -DCONFIG_XENBUS -fno-builtin -Wall -Werror -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include/x86_64 -c lock.c -o /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/lock.o # gcc -DCONFIG_START_NETWORK -DCONFIG_SPARSE_BSS -DCONFIG_BLKFRONT -DCONFIG_NETFRONT -DCONFIG_KBDFRONT -DCONFIG_FBFRONT -DCONFIG_CONSFRONT -DCONFIG_XENBUS -fno-builtin -Wall -Werror -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include/x86_64 -c main.c -o /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/main.o # gcc -DCONFIG_START_NETWORK -DCONFIG_SPARSE_BSS -DCONFIG_BLKFRONT -DCONFIG_NETFRONT -DCONFIG_KBDFRONT -DCONFIG_FBFRONT -DCONFIG_CONSFRONT -DCONFIG_XENBUS -fno-builtin -Wall -Werror -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include/x86_64 -c mm.c -o /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/mm.o # gcc -DCONFIG_START_NETWORK -DCONFIG_SPARSE_BSS -DCONFIG_BLKFRONT -DCONFIG_NETFRONT -DCONFIG_KBDFRONT -DCONFIG_FBFRONT -DCONFIG_CONSFRONT -DCONFIG_XENBUS -fno-builtin -Wall -Werror -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include/x86_64 -c netfront.c -o /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/netfront.o # gcc -DCONFIG_START_NETWORK -DCONFIG_SPARSE_BSS -DCONFIG_BLKFRONT -DCONFIG_NETFRONT -DCONFIG_KBDFRONT -DCONFIG_FBFRONT -DCONFIG_CONSFRONT -DCONFIG_XENBUS -fno-builtin -Wall -Werror -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include/x86_64 -c sched.c -o /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/sched.o # gcc -DCONFIG_START_NETWORK -DCONFIG_SPARSE_BSS -DCONFIG_BLKFRONT -DCONFIG_NETFRONT -DCONFIG_KBDFRONT -DCONFIG_FBFRONT -DCONFIG_CONSFRONT -DCONFIG_XENBUS -fno-builtin -Wall -Werror -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include/x86_64 -c lib/ctype.c -o /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/lib/ctype.o # gcc -DCONFIG_START_NETWORK -DCONFIG_SPARSE_BSS -DCONFIG_BLKFRONT -DCONFIG_NETFRONT -DCONFIG_KBDFRONT -DCONFIG_FBFRONT -DCONFIG_CONSFRONT -DCONFIG_XENBUS -fno-builtin -Wall -Werror -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include/x86_64 -c lib/math.c -o /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/lib/math.o # gcc -DCONFIG_START_NETWORK -DCONFIG_SPARSE_BSS -DCONFIG_BLKFRONT -DCONFIG_NETFRONT -DCONFIG_KBDFRONT -DCONFIG_FBFRONT -DCONFIG_CONSFRONT -DCONFIG_XENBUS -fno-builtin -Wall -Werror -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include/x86_64 -c lib/printf.c -o /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/lib/printf.o # gcc -DCONFIG_START_NETWORK -DCONFIG_SPARSE_BSS -DCONFIG_BLKFRONT -DCONFIG_NETFRONT -DCONFIG_KBDFRONT -DCONFIG_FBFRONT -DCONFIG_CONSFRONT -DCONFIG_XENBUS -fno-builtin -Wall -Werror -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include/x86_64 -c lib/stack_chk_fail.c -o /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/lib/stack_chk_fail.o # gcc -DCONFIG_START_NETWORK -DCONFIG_SPARSE_BSS -DCONFIG_BLKFRONT -DCONFIG_NETFRONT -DCONFIG_KBDFRONT -DCONFIG_FBFRONT -DCONFIG_CONSFRONT -DCONFIG_XENBUS -fno-builtin -Wall -Werror -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include/x86_64 -c lib/string.c -o /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/lib/string.o # gcc -DCONFIG_START_NETWORK -DCONFIG_SPARSE_BSS -DCONFIG_BLKFRONT -DCONFIG_NETFRONT -DCONFIG_KBDFRONT -DCONFIG_FBFRONT -DCONFIG_CONSFRONT -DCONFIG_XENBUS -fno-builtin -Wall -Werror -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include/x86_64 -c lib/memmove.c -o /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/lib/memmove.o # gcc -DCONFIG_START_NETWORK -DCONFIG_SPARSE_BSS -DCONFIG_BLKFRONT -DCONFIG_NETFRONT -DCONFIG_KBDFRONT -DCONFIG_FBFRONT -DCONFIG_CONSFRONT -DCONFIG_XENBUS -fno-builtin -Wall -Werror -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include/x86_64 -c lib/sys.c -o /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/lib/sys.o # gcc -DCONFIG_START_NETWORK -DCONFIG_SPARSE_BSS -DCONFIG_BLKFRONT -DCONFIG_NETFRONT -DCONFIG_KBDFRONT -DCONFIG_FBFRONT -DCONFIG_CONSFRONT -DCONFIG_XENBUS -fno-builtin -Wall -Werror -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include/x86_64 -c lib/xmalloc.c -o /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/lib/xmalloc.o # gcc -DCONFIG_START_NETWORK -DCONFIG_SPARSE_BSS -DCONFIG_BLKFRONT -DCONFIG_NETFRONT -DCONFIG_KBDFRONT -DCONFIG_FBFRONT -DCONFIG_CONSFRONT -DCONFIG_XENBUS -fno-builtin -Wall -Werror -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include/x86_64 -c lib/xs.c -o /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/lib/xs.o # gcc -DCONFIG_START_NETWORK -DCONFIG_SPARSE_BSS -DCONFIG_BLKFRONT -DCONFIG_NETFRONT -DCONFIG_KBDFRONT -DCONFIG_FBFRONT -DCONFIG_CONSFRONT -DCONFIG_XENBUS -fno-builtin -Wall -Werror -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include/x86_64 -c xenbus/xenbus.c -o /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/xenbus/xenbus.o # gcc -DCONFIG_START_NETWORK -DCONFIG_SPARSE_BSS -DCONFIG_BLKFRONT -DCONFIG_NETFRONT -DCONFIG_KBDFRONT -DCONFIG_FBFRONT -DCONFIG_CONSFRONT -DCONFIG_XENBUS -fno-builtin -Wall -Werror -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include/x86_64 -c console/console.c -o /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/console/console.o # gcc -DCONFIG_START_NETWORK -DCONFIG_SPARSE_BSS -DCONFIG_BLKFRONT -DCONFIG_NETFRONT -DCONFIG_KBDFRONT -DCONFIG_FBFRONT -DCONFIG_CONSFRONT -DCONFIG_XENBUS -fno-builtin -Wall -Werror -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include/x86_64 -c console/xencons_ring.c -o /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/console/xencons_ring.o # gcc -DCONFIG_START_NETWORK -DCONFIG_SPARSE_BSS -DCONFIG_BLKFRONT -DCONFIG_NETFRONT -DCONFIG_KBDFRONT -DCONFIG_FBFRONT -DCONFIG_CONSFRONT -DCONFIG_XENBUS -fno-builtin -Wall -Werror -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/../../extras/mini-os/arch/x86/include/x86_64 -c console/xenbus.c -o /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/console/xenbus.o # make --directory=arch/x86 OBJ_DIR=/home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/arch/x86 || exit 1; # make[2]: Entering directory '/home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/arch/x86' # gcc -fno-builtin -Wall -Werror -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/arch/x86/../../../../extras/mini-os/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/arch/x86/../../../../extras/mini-os/arch/x86/include -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/arch/x86/../../../../extras/mini-os/arch/x86/include/x86_64 -c events.c -o /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/arch/x86/events.o # gcc -fno-builtin -Wall -Werror -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/arch/x86/../../../../extras/mini-os/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/arch/x86/../../../../extras/mini-os/arch/x86/include -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/arch/x86/../../../../extras/mini-os/arch/x86/include/x86_64 -c ioremap.c -o /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/arch/x86/ioremap.o # gcc -fno-builtin -Wall -Werror -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/arch/x86/../../../../extras/mini-os/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/arch/x86/../../../../extras/mini-os/arch/x86/include -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/arch/x86/../../../../extras/mini-os/arch/x86/include/x86_64 -c iorw.c -o /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/arch/x86/iorw.o # gcc -fno-builtin -Wall -Werror -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/arch/x86/../../../../extras/mini-os/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/arch/x86/../../../../extras/mini-os/arch/x86/include -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/arch/x86/../../../../extras/mini-os/arch/x86/include/x86_64 -c mm.c -o /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/arch/x86/mm.o # gcc -fno-builtin -Wall -Werror -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/arch/x86/../../../../extras/mini-os/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/arch/x86/../../../../extras/mini-os/arch/x86/include -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/arch/x86/../../../../extras/mini-os/arch/x86/include/x86_64 -c sched.c -o /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/arch/x86/sched.o # gcc -fno-builtin -Wall -Werror -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/arch/x86/../../../../extras/mini-os/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/arch/x86/../../../../extras/mini-os/arch/x86/include -isystem /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/arch/x86/../../../../extras/mini-os/arch/x86/include/x86_64 -c setup.c -o /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/arch/x86/setup.o # setup.c: In function 'arch_init': # setup.c:128:38: error: the comparison will always evaluate as 'true' for the address of 'cmd_line' will never be NULL [-Werror=address] # 128 | si->cmd_line ? (const char *)si->cmd_line : "NULL"); # | ^ # In file included from /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/include/hypervisor.h:16, # from /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/arch/x86/include/os.h:16, # from setup.c:29: # /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/xen/include/public/xen.h:755:12: note: 'cmd_line' declared here # 755 | int8_t cmd_line[MAX_GUEST_CMDLINE]; # | ^~~~~~~~ # cc1: all warnings being treated as errors # make[2]: *** [../../minios.mk:70: /home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/arch/x86/setup.o] Error 1 # make[2]: Leaving directory '/home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os/arch/x86' # make[1]: *** [Makefile:181: arch_lib] Error 1 # make[1]: Leaving directory '/home/opam/.opam/5.1/.opam-switch/build/mirage-xen-minios.0.4.1/xen-minios-v0.4.1/extras/mini-os' # make: *** [Makefile:11: build] Error 2 <><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><> +- The following actions failed | - install mirage-xen-minios 0.4.1 +- - No changes have been performed # Run eval $(opam env) to update the current shell environment 'opam --cli=2.1 install mirage-xen-minios.0.4.1 --verbose --yes --confirm-level=unsafe-yes' failed.