Missing tux patches?

[Phillip Ezolt <ezolt perf zko dec com>]

Ingo,
        Why are there no kernel patches at:

        http://www.redhat.com/~mingo/TUX-patches

We have some alpha patches, and would like to sync up with your latest
and greatest.

Thanks,
--Phil

Compaq:  High Performance Server Division/Benchmark Performance Engineering
---------------- Alpha, The Fastest Processor on Earth --------------------
Phillip.Ezolt@compaq.com        |C|O|M|P|A|Q|        ezolt@perf.zko.dec.com
------------------- See the results at www.spec.org -----------------------