- the library names match those in CMSIS proper - includes are not further namespaced (via named directory within include/) as they expect to find one another directly, and there's quite a dance to determine which file to #include (and therefore how to adjust them) so I don't think it's worth itdds