Add "real-time" option to pintos utility and document its usage.