daniel/danos
1
0
Fork 0
Code Issues 4 Pull Requests Actions Packages Projects 1 Releases Wiki Activity

docs: one line still had init minting the root grants

Browse Source
This commit is contained in:
Daniel Samson
2026-08-08 16:35:54 +01:00
parent ef793d1320
commit 8e388e048a
1 changed files with 3 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
docs/os-development/device-authority.md
+3 -2
View File
@@ -166,8 +166,9 @@ for instance. Not now.
device going away. device going away.
- **The device table's size.** `maximum_devices` is untouched by this; it goes when the - **The device table's size.** `maximum_devices` is untouched by this; it goes when the
inventory moves in phase 3. inventory moves in phase 3.
- **Two processes racing for the same root grant.** Cannot arise, because roots are - **Two processes racing for the same root grant.** Cannot arise: the roots are minted
minted to `init` alone. to whichever task satisfies the chain — the manager's binary under PID 1 — and a
second copy spawned by anyone else fails the supervisor half.
## How this is verified ## How this is verified