diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2024-10-22 10:22:20 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2024-10-24 09:34:38 +0000 |
| commit | 3fd4a86f3f8adfcfba5c642babd90bb4f5eecd3c (patch) | |
| tree | c1a275b4a342ce0779c49f5a1938d07c209629a9 /sys/linux/filesystem.txt | |
| parent | 0d144d1a990dd507ca7c595b21a5fa13d22161a0 (diff) | |
dashboard/config/linux: increase number of devices to 32
Diffstat (limited to 'sys/linux/filesystem.txt')
| -rw-r--r-- | sys/linux/filesystem.txt | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/sys/linux/filesystem.txt b/sys/linux/filesystem.txt index 39b5c7320..d31332453 100644 --- a/sys/linux/filesystem.txt +++ b/sys/linux/filesystem.txt @@ -93,12 +93,14 @@ blockdev_filename [ nbd_filename { prefix stringnoz["/dev/nbd"] +# NEED: this does not support formatting numbers larger than 9. id proc['0', 1, int8] z const[0, int8] } [packed] loop_filename { prefix stringnoz["/dev/loop"] +# NEED: this does not support formatting numbers larger than 9. id proc['0', 1, int8] z const[0, int8] } [packed] |