A budget-aware extension of the earliest-deadline-first scheduler for the linux kernel.