real-time-settings

a tool to configure Linux for real-time applications; it stores the modifications made, so the overwritten configuration can be restored upon request