diff options
| -rw-r--r-- | debian/changelog | 1 | ||||
| -rw-r--r-- | debian/hurd-udeb.install | 4 | ||||
| -rw-r--r-- | debian/patches/makedev_parted_store.patch | 3 |
3 files changed, 6 insertions, 2 deletions
diff --git a/debian/changelog b/debian/changelog index 3495947a..a9747be6 100644 --- a/debian/changelog +++ b/debian/changelog @@ -29,6 +29,7 @@ hurd (20111030-1) UNRELEASED; urgency=low - Drop article from synopsis. - Tighten hurd-dev dependency on hurd to the same version. * debian/local/dmesg: Add script which cat /var/log/dmesg. + * debian/hurd-udeb.install: Only include the necessary console drivers. -- Samuel Thibault <sthibault@debian.org> Thu, 18 Aug 2011 01:15:04 +0000 diff --git a/debian/hurd-udeb.install b/debian/hurd-udeb.install index 50dae098..a4a9313d 100644 --- a/debian/hurd-udeb.install +++ b/debian/hurd-udeb.install @@ -3,7 +3,9 @@ debian/local/setup-translators usr/lib/hurd debian/local/partman lib debian/local/finish-install.d usr/lib debian/tmp/lib/*.so.* -debian/tmp/lib/hurd/console/*.so.* usr/lib/hurd/console +debian/tmp/lib/hurd/console/pc_kbd.so.* usr/lib/hurd/console +debian/tmp/lib/hurd/console/pc_mouse.so.* usr/lib/hurd/console +debian/tmp/lib/hurd/console/vga.so.* usr/lib/hurd/console debian/tmp/libexec/console-run debian/tmp/sbin/e2os debian/tmp/sbin/MAKEDEV diff --git a/debian/patches/makedev_parted_store.patch b/debian/patches/makedev_parted_store.patch index 7d3d8be5..757b1b40 100644 --- a/debian/patches/makedev_parted_store.patch +++ b/debian/patches/makedev_parted_store.patch @@ -1,6 +1,7 @@ Add option -p to MAKEDEV to use user-space parted stores for partition devices. -TODO: use in installed system, test, and submit to bug-hurd +TODO: use in installed system, test, and submit to bug-hurd. IIRC the issue with +it was that the swapper does not like parted-based stores. Index: hurd/sutils/MAKEDEV.sh =================================================================== |