au-ts/microkit_sdf_gen

Experimenting with higher-level tooling for the seL4 Microkit

GitHub repository with 5 stars and 8 forks.

Language: Zig

Open provider repository