Read-only release history for POSIX-RT-Scheduler