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

Avoid doubly defined assert #80

Closed wom-bat closed 5 months ago

wom-bat commented 5 months ago

When included via SDDF queue headers into micropython, we get a double defined assert() macro. Only define assert if it is not already defined.