The PROCESSORS SAFETY CHECKERS repo contains the source code for PM, RM and TIFS Safety Checkers Library. It also contains examples that demostrate the usage of each Safety Checker.
This repo is meant to use the MCU+ SDK build infrastructure for compiling the Safety Checkers source and example code. Refer MCU+ SDK Core repository for more details regarding the MCU+ SDK.