issues
search
seL4
/
microkit
Microkit - A simple operating system framework for the seL4 microkernel
Other
68
stars
37
forks
source link
microkit: add wrapper around get message length
#119
Closed
Kswin01
closed
2 months ago
Kswin01
commented
2 months ago
Add a function to get the count of mr's from the message info.
Add a function to get the count of mr's from the message info.