From 3fd4a86f3f8adfcfba5c642babd90bb4f5eecd3c Mon Sep 17 00:00:00 2001 From: Dmitry Vyukov Date: Tue, 22 Oct 2024 10:22:20 +0200 Subject: dashboard/config/linux: increase number of devices to 32 --- sys/linux/filesystem.txt | 2 ++ 1 file changed, 2 insertions(+) (limited to 'sys/linux/filesystem.txt') 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] -- cgit mrf-deployment