Add librumpdev-disk and librumpdev-usb.

9 files changed, 71 insertions, 0 deletions

diff --git a/debian/control b/debian/control
index 0b3f2e32..e3460f73 100644
--- a/debian/control
+++ b/debian/control
@@ -117,6 +117,58 @@ Description: Rump PCI device library (runtime)
  .
  This package contains the runtime for the Rump PCI device library.
 
+Package: librumpdev-usb-dev
+Section: libdevel
+Architecture: linux-any hurd-any
+Depends: ${misc:Depends}, librump-dev (= ${binary:Version}), librumpdev-usb0 (= ${binary:Version})
+Description: Rump USB device library (development files)
+ Rump kernels provide free, portable, componentized, kernel quality drivers
+ such as file systems, POSIX system call handlers, USB 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.
+ .
+ This package contains the development files for the Rump USB device library.
+
+Package: librumpdev-usb0
+Section: libs
+Architecture: linux-any hurd-any
+Depends: ${shlibs:Depends}, ${misc:Depends}, librumpdev-pci0 (= ${binary:Version})
+Description: Rump USB device library (runtime)
+ Rump kernels provide free, portable, componentized, kernel quality drivers
+ such as file systems, POSIX system call handlers, USB 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.
+ .
+ This package contains the runtime for the Rump USB device library.
+
+Package: librumpdev-disk-dev
+Section: libdevel
+Architecture: linux-any hurd-any
+Depends: ${misc:Depends}, librumpdev-pci-dev (= ${binary:Version}), librumpdev-disk0 (= ${binary:Version})
+Description: Rump disk device libraries (development files)
+ 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.
+ .
+ This package contains the development files for Rump disk device libraries.
+
+Package: librumpdev-disk0
+Section: libs
+Architecture: linux-any hurd-any
+Depends: ${shlibs:Depends}, ${misc:Depends}, librumpdev-pci0 (= ${binary:Version}), librumpdev-usb0 (= ${binary:Version})
+Description: Rump disk device libraries (runtime)
+ 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.
+ .
+ This package contains the runtime for Rump disk device libraries.
+
 Package: librumpdev-audio-dev
 Section: libdevel
 Architecture: linux-any hurd-any
diff --git a/debian/librumpdev-disk-dev.dirs b/debian/librumpdev-disk-dev.dirs
new file mode 100644
index 00000000..68457717
--- /dev/null
+++ b/debian/librumpdev-disk-dev.dirs
@@ -0,0 +1 @@
+usr/lib
diff --git a/debian/librumpdev-disk-dev.install b/debian/librumpdev-disk-dev.install
new file mode 100644
index 00000000..c28d53f0
--- /dev/null
+++ b/debian/librumpdev-disk-dev.install
@@ -0,0 +1,4 @@
+usr/lib/librumpdev_disk.a
+usr/lib/librumpdev_disk.so
+usr/lib/librumpdev_umass.a
+usr/lib/librumpdev_umass.so
diff --git a/debian/librumpdev-disk0.dirs b/debian/librumpdev-disk0.dirs
new file mode 100644
index 00000000..68457717
--- /dev/null
+++ b/debian/librumpdev-disk0.dirs
@@ -0,0 +1 @@
+usr/lib
diff --git a/debian/librumpdev-disk0.install b/debian/librumpdev-disk0.install
new file mode 100644
index 00000000..01513889
--- /dev/null
+++ b/debian/librumpdev-disk0.install
@@ -0,0 +1,2 @@
+usr/lib/librumpdev_disk.so.*
+usr/lib/librumpdev_umass.so.*
diff --git a/debian/librumpdev-usb-dev.dirs b/debian/librumpdev-usb-dev.dirs
new file mode 100644
index 00000000..68457717
--- /dev/null
+++ b/debian/librumpdev-usb-dev.dirs
@@ -0,0 +1 @@
+usr/lib
diff --git a/debian/librumpdev-usb-dev.install b/debian/librumpdev-usb-dev.install
new file mode 100644
index 00000000..0731fea1
--- /dev/null
+++ b/debian/librumpdev-usb-dev.install
@@ -0,0 +1,6 @@
+usr/lib/librumpdev_usb.a
+usr/lib/librumpdev_usb.so
+usr/lib/librumpdev_pci_usbhc.a
+usr/lib/librumpdev_pci_usbhc.so
+usr/lib/librumpdev_ugenhc.a
+usr/lib/librumpdev_ugenhc.so
diff --git a/debian/librumpdev-usb0.dirs b/debian/librumpdev-usb0.dirs
new file mode 100644
index 00000000..68457717
--- /dev/null
+++ b/debian/librumpdev-usb0.dirs
@@ -0,0 +1 @@
+usr/lib
diff --git a/debian/librumpdev-usb0.install b/debian/librumpdev-usb0.install
new file mode 100644
index 00000000..4a93d5c0
--- /dev/null
+++ b/debian/librumpdev-usb0.install
@@ -0,0 +1,3 @@
+usr/lib/librumpdev_usb.so.*
+usr/lib/librumpdev_pci_usbhc.so.*
+usr/lib/librumpdev_ugenhc.so.*