The release was tested against 47 different real-time operating systems (RTOS), including VxWorks, QNX, and Linux PREEMPT_RT. The "verified" status confirms zero priority inversions or missed deadlines across all platforms.
While the +01702 release is fresh, the design team has already hinted at the next milestones: rtgi+01702+release+verified