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

[MirageOS-devel] Solo5 renaming and OPAM package names



Hi all,

as part of the renaming and restructuring of Solo5 to adopt better
terminology and allow for expansion to other (non-VT) targets [1], [2], I'd
like to rename the Solo5 OPAM packages.

Currently, the dependency tree is as follows:

mirage-solo5: Depends on solo5-kernel-ukvm | solo5-kernel-virtio | 
solo5-kernel-muen
mirage-solo5: Depends on ocaml-freestanding

ocaml-freestanding: Depends on solo5-kernel-uvkm | solo5-kernel-virtio | 
solo5-kernel-muen

Further, each of the solo5-kernel-* packages conflicts with the other two
targets.

In the new scheme of things, the "kernel for target X" is now referred to
as "bindings to target X". Therefore, I'd like to rename the OPAM packages
to reflect this. Further, the "ukvm" target has been renamed to "vt" to
reflect that it is no longer dependent on Linux/KVM.

Therefore, the new dependencies would look like this:

mirage-solo5: Depends on solo5-bindings-vt | solo5-bindings-virtio | 
solo5-bindings-muen
mirage-solo5: Depends on ocaml-freestanding

ocaml-freestanding: Depends on solo5-bindings-vt | solo5-bindings-virtio | 
solo5-bindings-muen

In order to ensure a clean upgrade path for "opam upgrade", an 0.4.0
release of both mirage-solo5 and ocaml-freestanding will need to be cut.

Apart from that, do I need to add any other metadata to the new or old
packages? e.g. Should the new names conflict with the old ones, or vice
versa?

Regarding user-visible changes to the mirage front-end tool itself, I would
like to rename the "ukvm" target to "vt", while keeping "ukvm" (with a
warning) as a backward-compatible alias for "vt".

Please let me know if I've missed anything. Ideally I'd like to get this
done in Solo5 itself and the solo5/opam-solo5 repository next week, then
cut the corresponding releases and publish to OPAM.

Thanks,

-mato

[1] https://github.com/Solo5/solo5/issues/172
[2] https://github.com/Solo5/solo5/pull/272

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

 


Rackspace

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