/proc/thread-self/root/proc/4/task/10/root/proc/self/task/10/root/proc/2/task/2
This explorer reads the filesystem of the server it runs on, so /workspace/user isn't present here. Browsing and the terminal still work against this server's own disk from /.
558bfd7e2000 default file=/opt/rust/bootstrap mapped=72 mapmax=2 active=0 N0=72 kernelpagesize_kB=4558bfd83a000 default file=/opt/rust/bootstrap mapped=323 mapmax=2 active=0 N0=323 kernelpagesize_kB=4558bfd97d000 default file=/opt/rust/bootstrap anon=9 dirty=9 mapped=10 mapmax=2 active=0 N0=10 kernelpagesize_kB=4558bfd987000 default file=/opt/rust/bootstrap anon=1 dirty=1 active=0 N0=1 kernelpagesize_kB=4558bfd988000 default558c38dba000 default heap anon=249 dirty=249 active=0 N0=249 kernelpagesize_kB=47f32a0000000 default anon=8 dirty=8 active=0 N0=8 kernelpagesize_kB=47f32a0021000 default7f32a8000000 default anon=8 dirty=8 active=0 N0=8 kernelpagesize_kB=47f32a8021000 default7f32b0000000 default anon=10 dirty=10 active=0 N0=10 kernelpagesize_kB=47f32b0021000 default7f32b4000000 default anon=11 dirty=11 active=0 N0=11 kernelpagesize_kB=47f32b4021000 default7f32b8000000 default anon=14 dirty=14 active=0 N0=14 kernelpagesize_kB=47f32b8021000 default7f32bf4b6000 default7f32bf4b7000 default7f32bf4b9000 default7f32bf4ba000 default7f32bf4bc000 default7f32bf4bd000 default7f32bf4bf000 default7f32bf4c0000 default anon=2 dirty=2 active=0 N0=2 kernelpagesize_kB=47f32bf6c0000 default7f32bf6c1000 default anon=2 dirty=2 active=0 N0=2 kernelpagesize_kB=47f32bf8c1000 default7f32bf8c2000 default anon=2 dirty=2 active=0 N0=2 kernelpagesize_kB=47f32bfac2000 default7f32bfac3000 default7f32bfac5000 default7f32bfac6000 default anon=2 dirty=2 active=0 N0=2 kernelpagesize_kB=47f32bfcc6000 default7f32bfcc7000 default7f32bfcc9000 default7f32bfcca000 default anon=2 dirty=2 active=0 N0=2 kernelpagesize_kB=47f32bfeca000 default7f32bfecb000 default anon=2 dirty=2 active=0 N0=2 kernelpagesize_kB=47f32bfecf000 default file=/usr/lib64/libdl.so.2 mapped=1 mapmax=2 N0=1 kernelpagesize_kB=47f32bfed0000 default file=/usr/lib64/libdl.so.2 mapped=1 mapmax=2 active=0 N0=1 kernelpagesize_kB=47f32bfed1000 default file=/usr/lib64/libdl.so.27f32bfed2000 default file=/usr/lib64/libdl.so.2 anon=1 dirty=1 active=0 N0=1 kernelpagesize_kB=47f32bfed3000 default file=/usr/lib64/libdl.so.2 anon=1 dirty=1 active=0 N0=1 kernelpagesize_kB=47f32bfed4000 default file=/usr/lib64/libc.so.6 mapped=41 mapmax=2 active=1 N0=41 kernelpagesize_kB=47f32bfefd000 default file=/usr/lib64/libc.so.6 mapped=251 mapmax=2 active=154 N0=251 kernelpagesize_kB=47f32c0073000 default file=/usr/lib64/libc.so.6 mapped=28 mapmax=2 active=13 N0=28 kernelpagesize_kB=47f32c00cc000 default file=/usr/lib64/libc.so.6 anon=4 dirty=4 active=0 N0=4 kernelpagesize_kB=47f32c00d0000 default file=/usr/lib64/libc.so.6 anon=2 dirty=2 active=0 N0=2 kernelpagesize_kB=47f32c00d2000 default anon=5 dirty=5 active=0 N0=5 kernelpagesize_kB=47f32c00df000 default file=/usr/lib64/libpthread.so.0 mapped=1 mapmax=2 N0=1 kernelpagesize_kB=47f32c00e0000 default file=/usr/lib64/libpthread.so.0 mapped=1 mapmax=2 active=0 N0=1 kernelpagesize_kB=47f32c00e1000 default file=/usr/lib64/libpthread.so.07f32c00e2000 default file=/usr/lib64/libpthread.so.0 anon=1 dirty=1 active=0 N0=1 kernelpagesize_kB=47f32c00e3000 default file=/usr/lib64/libpthread.so.0 anon=1 dirty=1 active=0 N0=1 kernelpagesize_kB=47f32c00e4000 default anon=2 dirty=2 active=0 N0=2 kernelpagesize_kB=47f32c00e6000 default file=/usr/lib64/ld-linux-x86-64.so.2 mapped=2 mapmax=2 active=1 N0=2 kernelpagesize_kB=47f32c00e8000 default file=/usr/lib64/ld-linux-x86-64.so.2 mapped=40 mapmax=2 active=0 N0=40 kernelpagesize_kB=47f32c0110000 default file=/usr/lib64/ld-linux-x86-64.so.2 mapped=12 mapmax=2 active=0 N0=12 kernelpagesize_kB=47f32c011c000 default file=/usr/lib64/ld-linux-x86-64.so.2 anon=2 dirty=2 active=0 N0=2 kernelpagesize_kB=47f32c011e000 default file=/usr/lib64/ld-linux-x86-64.so.2 anon=2 dirty=2 active=0 N0=2 kernelpagesize_kB=47ffd5cfb4000 default stack anon=47 dirty=47 active=1 N0=47 kernelpagesize_kB=47ffd5cfeb000 default7ffd5cfef000 default