libmicrokit: add function to get mr count from msginfo

seL4 / microkit

Microkit - A simple operating system framework for the seL4 microkernel

Other

68 stars 37 forks source link

Closed Kswin01 closed 2 months ago

Kswin01 commented 2 months ago

Add a microkit wrapper around seL4_MessageInfo_get_length function.

Ivan-Velickovic commented 2 months ago

Thanks!