diff options
Diffstat (limited to 'docs/03-architecture/09-full-system-picture.md')
| -rw-r--r-- | docs/03-architecture/09-full-system-picture.md | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/docs/03-architecture/09-full-system-picture.md b/docs/03-architecture/09-full-system-picture.md index 97b4617..42eca7f 100644 --- a/docs/03-architecture/09-full-system-picture.md +++ b/docs/03-architecture/09-full-system-picture.md @@ -345,6 +345,9 @@ Backend boot, the real RM client, channel allocation and real CE copies are live; guest-forwarding and relay are default-off; GR execution and real guest page tables are the open `[planned]` parts (see [`11-physical-backend-guest-wiring.md`](11-physical-backend-guest-wiring.md)). +That document's §0.4 draws the whole lifecycle on one page — init, running +work, completion and teardown — with the module's function names and the +current GR context-commit wall marked. ## 5. Scheduling and multi-tenancy |