Support for Dynamic QoS in the HARTIK Kernel