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

Makefile fixes #124

Closed wom-bat closed 4 months ago

wom-bat commented 4 months ago

Various cleanups and fixes to enable the Kitty LionsOS example to use the sDDF, plus some others: -- Always build the CHECK_FLAGS_BOARD_MD5 file, so changes from DEBUG->Release or similar will force rebuilds. -- Hide object files in a named subdirectory of the build directory wherever possible, to allow conflicting-named files -- various consistency cleanups -- Reduce reliance on VPATH/vpath