4 Aug
2021
4 Aug
'21
11:42 a.m.
Hello,
I have been messing around with sel4 rumprun and I have been trying to put files onto the file system. Where does rumprun mount the root / ?
Sincerely, Ellis