Patches for HFSC inside tcsim: - tcsim-hfsc.diff HFSC support for tcsim. - tcsim-1000HZ.diff 1000HZ kernel timers - tcsim-psched-clock-gettimeofday.diff PSCHED_GETTIMEOFDAY support - tcsim-kversions.diff add 2.4.24/2.4.25 kernel versions to list of working kernels. -- Patrick McHardy,