On 11/09/15 17:06, Robert Millan wrote:
Hi, I made a Rump PPA for Ubuntu trusty. In case someone's interested: https://launchpad.net/~rmh/+archive/ubuntu/rumpkernel
Cool, thanks! I assume that's for a POSIX build via buildrump.sh. Do you plan to add anything else there, such as rumpctrl? If so, please coordinate with Jens (cf. page below).
Tangentially, I'm thinking there should be a separate rumpuser-posix repository. Lumping that functionality together with buildrump.sh is a historic mistake, and furthermore one which I've just about had enough of right around now (finally!). If someone wants to start pulling on that string, let's start another thread.
P.D. any particular section in the wiki where listing this would be appropriate?
Yes, please, the "Binary packages" page: http://wiki.rumpkernel.org/Builds%3A-Binary-packages
