diff --git a/lib/grpc-interfaces b/lib/grpc-interfaces index 4ec6e6620..de85ec68a 160000 --- a/lib/grpc-interfaces +++ b/lib/grpc-interfaces @@ -1 +1 @@ -Subproject commit 4ec6e6620abce44048b9a8493124683ef15e0731 +Subproject commit de85ec68a10fded1da7dfa215351603764ad3f76 diff --git a/src/cartesi-machine.lua b/src/cartesi-machine.lua index 210d300f8..d70d76e3e 100755 --- a/src/cartesi-machine.lua +++ b/src/cartesi-machine.lua @@ -97,6 +97,8 @@ where options are: start: length: shared + mount: + user: label (mandatory) identifies the flash drive. init attempts to mount it as /mnt/