As step 1, I've adjusted the build scripts of -baremetal and -xen so
that they work even if buildrump.sh and rumpsrc are in ../.
As step 2, I'll move the contents of the repos so that they'll be
non-overlapping with respect to each other. So for example -xen will
look like:
/
buildxen.sh
rumpsrc/
buildrump.sh/
xen/
_buildxen.sh
[current contents of rumprun-xen/]
I don't think the move will kill any branches, but it will produce a
directory structure that will be present in the final version.
I'd like to get the destructive merge done already this week (thursday?)
so as to not leave the reorg as one of those lingering pie-in-the-sky
pieces that was never done because there never was a perfect time for it.
- antti