[MirageOS-devel] Solo5 renaming and OPAM package names

[Martin Lucina <martin@xxxxxxxxxx>]

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