On 20 May 2015, at 16:46, Magnus Therning <[email protected]> wrote: > > Unfortunately the segmentation fault remains, but now on `server.ml`.
I saw these sorts of segmentation faults due to bad memory on one of my first Cubieboards. If you can find the command line involved (by passing -classic-display to the ocamlbuild command) and run that under `gdb`, it would be good to see how deterministic the crash is. Removing camlp4 may just be masking the physical memory error by simply allocating less. -anil _______________________________________________ MirageOS-devel mailing list [email protected] http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel
