Convert to SPDX license tags Signed-off-by: Gerwin Klein <gerwin.klein@data61.csiro.au>
Add libsel4nanopb Co-Authored-By: Summer Li <Summer.Li@data61.csiro.au>