Hah, I realize I actually encountered this family in the form of a T-kernel offshoot that I evaluated for some automotive safety relevant application.