Blk rename - Githubissues

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

Closed erichchan999 closed 5 months ago

erichchan999 commented 5 months ago

renamed:

added:

removed:

unnecessary buffer_init arg from blk_queue_init function
blk_queue_init function no longer implemented in a separate .c file
count and addr from the response struct, these were not necessary and were added initially because they "could" simplify bookkeeping logic

Ivan-Velickovic commented 5 months ago

Before merging, can you make a GitHub issue outlining the differences between the design doc currently and the code.