search

au-ts / sddf

A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low overhead.
Other
18 stars 14 forks source link

Zig blk fixes #146

Closed erichchan999 closed 3 months ago

erichchan999 commented 3 months ago

Upstreaming building block subsystems with zig with blk_config.h instead of passing around a BLK_NUM_CLIENTS hash define.

This PR is rebased on #144 and should be merged after.