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
16 stars 12 forks source link

More serial rename fixes #69

Closed wom-bat closed 5 months ago

wom-bat commented 5 months ago

Plus get rid of need for sddf_printf by defining our own assert() macro

Ivan-Velickovic commented 5 months ago

I think these fixes are already in https://github.com/au-ts/sDDF/pull/65.

wom-bat commented 5 months ago

This is covered in a different PR