seL4_projects_libs/libsel4dma
Gerwin Klein 46f6dc9c0c remove obsolete LICENSE_* files
These are already covered by the LICENSES/ directory and SPDX
identifiers.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
2025-05-26 09:59:17 +02:00
..
include/dma Convert to SPDX license tags 2020-11-28 17:19:21 +11:00
src libsel4vm: add support for zynqmp 2022-10-25 06:14:10 +11:00
CMakeLists.txt Convert to SPDX license tags 2020-11-28 17:19:21 +11:00