Added some kernel functions. Do not build this.
Interval set improved
Some interval_set changes
PRO-file fixed
interval_set improvements
interval_set fixed some problems
Generators for /dev/random device works!