[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [MirageOS-devel] github xen git mirror





On Wed, 29 Jul 2015 at 17:53 Thomas Leonard <talex5@xxxxxxxxx> wrote:

This is now done. There is now a separate "minios-xen" opam package
(and mirage-xen-minios now just depends on that). You should now be
able to pin my minios-xen Git repository to test the latest version,
just as for any other library, e.g.

 opam pin add minios-xen https://github.com/talex5/mini-os.git

As part of this, I've also made a new Mini-OS release (0.7):

* First release from the separate Mini-OS repository
* x86: Don't print a stack trace on exit
* printf now supports %z
* Don't use -fno-tree-loop-distribute-patterns if the compiler doesn't
support it (@hannesm)
* Remove "Cannot handle page request order %d!" warning - just return
NULL on OOM
* Add opam file for easier installation

On the normal Trusty cubieboard2 image I can install minios-xen fine, but on Vivid I get an error:

$ opam install minios-xen

[ERROR] The compilation of minios-xen failed at "make debug=n".
...
Â### stderr ###
# dtc/libfdt/fdt_ro.c:453:6: error: ânodedepthâ may be used uninitialized in this function [-Werror=maybe-uninitialized]
# [...]
# /home/mirage/.opam/4.02.1/build/minios-xen.0.7/include/libfdt.h: In function âfdt_parent_offsetâ:
# dtc/libfdt/fdt_ro.c:468:9: error: ânodedepthâ may be used uninitialized in this function [-Werror=maybe-uninitialized]
# Â return fdt_supernode_atdepth_offset(fdt, nodeoffset,
# Â Â Â Â Â^
# dtc/libfdt/fdt_ro.c:453:6: note: ânodedepthâ was declared here
# Â int nodedepth;
# Â Â Â ^
# cc1: all warnings being treated as errors
# make: *** [/home/mirage/.opam/4.02.1/build/minios-xen.0.7/dtc/libfdt/fdt_ro.o] Error 1


I'm guessing that the difference in this image is that it has GCC-4.9.2 instead of 4.8.x, but I'm not certain.

Luke

_______________________________________________
MirageOS-devel mailing list
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel

 


Rackspace

Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.