Hi,
Hopefully the last in the series of repo renames which started with the
"great repo rename of '14" thread, I propose renaming the rumprun-posix
repo to "rumpctrl". Rationale follows:
rumprun-posix no longer builds the "unikernel mode" by default. It's
still available with the correct switch to the build script, but I
assume it's not interesting except for developers, and that it will go
away completely once we have a userspace platform supported in the
unified rumprun repository. Hence, to not confuse people new to rump
kernels with "rumprun *on posix*" vs. "rumprun *for posix
applications*", we should get rid of the rumprun-posix name at top-level
repo.rumpkernel.org.
We've been tossing the name rumprun-remote around a bit. However, the
control utilities provided by the repo are not only for rumprun
unikernels. For example, one can use the network tools to control a
rump kernel/dpdk router. Therefore, the new name should not contain
"rumprun".
Hence, my proposal of "rumpctrl".
Thoughts?
