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
17 stars 14 forks source link

Add explicit dependencies on libsddf_util_debug.a #222

Closed wom-bat closed 2 weeks ago

wom-bat commented 2 weeks ago

We shouldn't be reliant on the parent Makefile to add libsddf_util_debug.a to LIBS, so for the components that need it make this an explicit input to the final link, and tell Make it's needed.

Ivan-Velickovic commented 2 weeks ago

Will merge this but it's also missing from all the other uart_driver.mk files as well as other drivers I assume.