diff options
author | Damien Zammit <damien@zamaudio.com> | 2022-02-27 09:10:41 +0000 |
---|---|---|
committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2022-03-01 01:44:34 +0100 |
commit | b5f37094a13ed518adc74d2ddbc71e7a5d054eb0 (patch) | |
tree | 6148fd0ac5187c30767c1ed4a7b9e78874d4097b /libpager/demuxer.c | |
parent | c06be8fd568acef58888e6f702c648316ef0ef64 (diff) | |
download | hurd-b5f37094a13ed518adc74d2ddbc71e7a5d054eb0.tar.gz hurd-b5f37094a13ed518adc74d2ddbc71e7a5d054eb0.tar.bz2 hurd-b5f37094a13ed518adc74d2ddbc71e7a5d054eb0.zip |
rumpdisk: Override machdev_server with multithread port management
This makes rumpdisk multithreaded as much as the root filesystem pager
will request.
Message-Id: <20220227091013.33112-4-damien@zamaudio.com>
Diffstat (limited to 'libpager/demuxer.c')
0 files changed, 0 insertions, 0 deletions