This repository was archived by the owner on Feb 24, 2020. It is now read-only.
This repository was archived by the owner on Feb 24, 2020. It is now read-only.
rkt fly stage1 misses support for some parameters (mutable, ipc) #3789
Description
stage1-implementors-guide.md defines parameters for the run entrypoints and some of them are not implemented:
--mutable--ipc(see stage1: implement IPC namespace sharing #3291)
We should implement them, at least to have better error reporting.
This is a follow-up issue to #3787.