Discussion on rump kernels, for users and developers alike. Appropriate subjects include for example building and installing, applications and use cases, and performance optimization.