jlelli/sched-deadline — pull request #4 by claudioscordino (2012-10-12 14:32:16+00:00)
Title: SCHED_DEADLINE: Use library for division of 64-bit unsigned ints.

The ARM architecture does not provide division of 64-bit unsigned
integers, and gcc 4.1.2 complains about missing __aeabi_uldivmod.