search

seL4 / microkit

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

libmicrokit: fix declaration for `fault()` #144

Closed nspin closed 6 days ago

nspin commented 6 days ago

Change microkit_channel ch parameter to microkit_pd pd.

Ivan-Velickovic commented 6 days ago

Fixed this while I am upstreaming virtualisation support but might as well fix it now.