Bug#797411: ITP: rumpkernel -- Rump kernel libraries

[Robert Millan <rmh@debian.org>]

Package: wnpp
Severity: wishlist

* Package name    : rumpkernel
* URL             : http://rumpkernel.org/
* License         : quite a few (mostly BSD-style)
  Description     :
 Rump kernels provide free, portable, componentized, kernel quality drivers
 such as file systems, POSIX system call handlers, PCI device drivers, a
 SCSI protocol stack, virtio and a TCP/IP stack. These drivers may be
 integrated into existing systems, or run as standalone unikernels on
 cloud hypervisors and embedded systems.
URL: http://rumpkernel.org/

This package includes librump0 / librump-dev library, which allows applications
to run and use Rump components (device drivers, file systems...) entirely on
user-space.

A particular demonstration of this is rumposs, a small program which interceps
calls to OSS audio API, translates/redirects them to Rump which ultimately drives
the audio chip entirely on user-space:

  https://github.com/robertmillan/rumposs

--
Robert Millan