Earliest Deadline First scheduling module for the KUSP kernel