L4Re/departure

Change of docs/wiki/Components

381:7619836f6e6f
docs/wiki/Components mmap-region-flags
     1.1 --- a/docs/wiki/Components	Sun Jun 19 23:39:05 2022 +0200
     1.2 +++ b/docs/wiki/Components	Wed Jun 22 00:52:51 2022 +0200
     1.3 @@ -59,9 +59,9 @@
     1.4      Object [label="MappedFile\nor\nDirectory"];
     1.5    }
     1.6  
     1.7 -  Client1 -> Client2 -> Client3 -> Client4 -> Client5 -> Client6 -> Client7 [arrowhead=none,style=dotted];
     1.8 -  Opener1 -> Opener2 [arrowhead=none,style=dotted];
     1.9 -  OpenerContext1 -> OpenerContext2 -> OpenerContext3 [arrowhead=none,style=dotted];
    1.10 +  Client1 -> Client2 -> Client3 -> Client4 -> Client5 -> Client6 -> Client7 [dir=none,style=dotted];
    1.11 +  Opener1 -> Opener2 [dir=none,style=dotted];
    1.12 +  OpenerContext1 -> OpenerContext2 -> OpenerContext3 [dir=none,style=dotted];
    1.13  
    1.14    Client1 -> Filesystem [label="open_for_user(user)"];
    1.15    Filesystem -> Opener1;
    1.16 @@ -129,8 +129,8 @@
    1.17      }
    1.18    }
    1.19  
    1.20 -  Client1 -> Client2 -> Client3 -> Client4 [arrowhead=none,style=dotted];
    1.21 -  Reader1 -> Reader2 -> Reader3 [arrowhead=none,style=dotted];
    1.22 +  Client1 -> Client2 -> Client3 -> Client4 [dir=none,style=dotted];
    1.23 +  Reader1 -> Reader2 -> Reader3 [dir=none,style=dotted];
    1.24  
    1.25    Client1 -> Directory [label="opendir()"];
    1.26    Directory -> Reader1;