Any one had any experience with RedHawk Linux? Read some good articles/benchmarks (most from them) boasting improvements for low latency systems especially using 10Ge PCI cards which I happen to use, ...