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 _______________________________________________ Devel mailing list -- [email protected] To unsubscribe send an email to [email protected]
