runinfo(5) on Linux

The text 9cc2dddf9b66, as Debian 6.0 (Squeeze) shipped it. The page shows this text now.

Format of the .runinfo files used by xeno-load(1) to execute applications based on Xenomai