An implementation of the popular Earliest Deadline First (EDF) scheduling algorithm or the Linux kernel. It is still experimental code, and it is still continuously being improved, but it already is a fully-working solution for supporting typical real-time applications in GNU/Linux environments.
Other
49
stars
31
forks
source link
SCHED_DEADLINE: Use library for division of 64-bit unsigned ints. #3
The ARM architecture does not provide division of 64-bit unsigned integers, and gcc 4.1.2 complains about missing __aeabi_uldivmod.