https://github.com/Samsung/TizenRT/tree/master/os/arch/arm/include/armv8-m
https://github.com/Samsung/TizenRT/tree/master/os/arch/arm/src/armv8-m
I notice that TizenRT which uses an old, highly modified version of
NuttX, has added ARMv8-M support:
