j
k
j a
j l
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
Show replies by date
devel@sel4.systems
Add to favorites Remove from favorites