diff options
| author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2025-01-07 09:22:37 +0100 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2025-01-07 09:22:37 +0100 |
| commit | a738f113e2e23a7e6fe362c0fb8e666d0bb9ba10 (patch) | |
| tree | bb2fffc5d71d024cdae6232752060e1e4a8d85cb | |
| parent | 53bce88c52c3c6dba3ab4d1d9abf2036de051fe8 (diff) | |
| -rw-r--r-- | contributing.mdwn | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contributing.mdwn b/contributing.mdwn index 6fdc2d41..9ecdbdce 100644 --- a/contributing.mdwn +++ b/contributing.mdwn @@ -177,7 +177,7 @@ This is the list of tasks that we *want* to address soon, starting with the most * Extensively test (e.g. running testsuites of glibc, perl, curl, rust-mio) and fix the lwip-based TCP/IP stack, to be sure we don't get regressions by switching to it. * Fix swapping with `rumpdisk`. * Fix the [GPLv2 vs GPLv3 licence incompatibility between ext2fs and libparted](https://bugs.debian.org/838244): - * For /hurd/ext2fs, use a different libstoreio that does not include the parted module. + * For /hurd/ext2fs, use a different libstore that does not include the parted module. * For /hurd/ext2fs.static in the bootstrap chain (e.g. to access wd0s1), add a storeio translator before it, and have ext2fs open it, use `file_get_storage_info` and access the underlying device. That wouldn't need any code modification if we were using an initial ramfs exposing that storeio on /dev/wd0s1. * Prevent duplicate instances of `rumpdisk` from competing for the disk PCI cards (e.g. when a second one gets started from a chroot), otherwise mayhem happens. * Fix the memory consumption of `rumpdisk`. |