I was using rump kernels in an unrelated project for a client. In that project, the application I developed was essentially a Qt GUI for mastering custom UDF fi

I was using rump kernels in an unrelated project for a client. In that project, the application I developed was essentially a Qt GUI for mastering custom UDF filesystem images. You're right that the documentation for the rumprun-* stacks (running unmodified applications on rump kernels + Xen/bare metal) is lacking, however, it's early days for this work. New, extra fresh, hot off the press! We're working on it :-) Note that rump kernels as such (sans the Xen and baremetal stacks) are well-proven and tested code, perfectly usable in production today.