Rump PPA

[Robert Millan]

Hi,

I made a Rump PPA for Ubuntu trusty. In case someone's interested:

https://launchpad.net/~rmh/+archive/ubuntu/rumpkernel

P.D. any particular section in the wiki where listing this would be
appropriate?

--
Robert Millan