search

seL4 / microkit

Microkit - A simple operating system framework for the seL4 microkernel
Other
68 stars 37 forks source link

tool: fix bug in index calculation #145

Closed nspin closed 6 days ago

nspin commented 6 days ago

pd_endpoint_objs had one entry per PD with an endpoint, but was being indexed as if it had one entry per PD.

Ivan-Velickovic commented 6 days ago

Thanks!