Closed Ivan-Velickovic closed 1 month ago
The headers included in microkit.h depend on the compiler and toolchain, it is beneficial to avoid this if possible as they may not be provided at all depending on the C toolchain or contain subtle differences to what we expect.
Closes https://github.com/seL4/microkit/issues/124.
The headers included in microkit.h depend on the compiler and toolchain, it is beneficial to avoid this if possible as they may not be provided at all depending on the C toolchain or contain subtle differences to what we expect.
Closes https://github.com/seL4/microkit/issues/124.