Convert to SPDX license tags Signed-off-by: Gerwin Klein <gerwin.klein@data61.csiro.au>
Trivial: style fix make the style checker happy
CMake: libsel4bga CMakeLists.txt Added a CMakeLists file to build libsel4bga.