Add index allocator helper util

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

16 stars 12 forks source link

Add index allocator helper util #89

Closed erichchan999 closed 4 months ago

erichchan999 commented 4 months ago

This simple utility library allows you to allocate and free indices ranging from 0 to some initialised size. It is currently useful to clients of the blk system who need to generate a matching req/resp ID, and also to those who are implementing virtio drivers (frontend).

Ivan-Velickovic commented 4 months ago

Actually one more request, can we make this all in a header?

Ivan-Velickovic commented 4 months ago

Fixed the style check and added the sign off line.