diff options
| author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2024-11-18 16:36:34 +0100 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2024-11-18 16:36:34 +0100 |
| commit | 8785385ddb76f84e851efc8243d68cf2ca64d899 (patch) | |
| tree | 692531b6a6396119d39fa03d1f8d7495d921d676 | |
| parent | f29a245fe60d74a9534c849fa1703b14c2b39357 (diff) | |
| download | web-8785385ddb76f84e851efc8243d68cf2ca64d899.tar.gz web-8785385ddb76f84e851efc8243d68cf2ca64d899.tar.bz2 web-8785385ddb76f84e851efc8243d68cf2ca64d899.zip | |
Note why making sure no two rumpdisks
| -rw-r--r-- | contributing.mdwn | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contributing.mdwn b/contributing.mdwn index 4658dcd8..7d8aec9b 100644 --- a/contributing.mdwn +++ b/contributing.mdwn @@ -178,7 +178,7 @@ This is the list of tasks that we *want* to address soon, starting with the most * 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.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). +* 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`. * Plug acpi shutdown event. * Add overcommit limitation support to gnumach: limit the virtual size of processes to half of the memory + swap size. |