Skip to content

Commit

Permalink
manual: clarify channel limit
Browse files Browse the repository at this point in the history 
Signed-off-by: Ivan Velickovic <[email protected]>
  • Loading branch information
@Ivan-Velickovic
Ivan-Velickovic committed May 14, 2024
1 parent 6a08df9 commit 17a2735
Showing 1 changed file with 3 additions and 2 deletions.
5 changes: 3 additions & 2 deletions docs/manual.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -744,5 +744,6 @@ The protected procedure payload should be considered as analogous to function ar
The limitation on the number of protection domains in the system is relatively arbitrary.
Based on experience with the system and the types of systems being built it is possible for this to be increased in the future.

The limitation on the number of channels for a protection domain is based on the size of the notification object in seL4.
Changing this to be larger than 64 would most likely require changes to seL4.
The limitation on the number of channels for a protection domain is based on the size of the notification word in seL4.
Changing this to be larger than 64 would most likely require changes to seL4. The reason for why the limit is not a
power of two is due to part of the notification word being for internal libmicrokit use.

0 comments on commit 17a2735

Please sign in to comment.