Makefile | 4 +- arch/arm/Kconfig | 8 + arch/arm/include/asm/timex.h | 2 + arch/arm/include/asm/unistd.h | 3 + arch/arm/kernel/calls.S | 12 + arch/arm/kernel/smp.c | 4 + arch/arm/mach-realview/include/mach/timex.h | 27 + arch/x86/Kconfig | 8 + arch/x86/include/asm/entry_arch.h | 1 + arch/x86/include/asm/feather_trace.h | 17 + arch/x86/include/asm/feather_trace_32.h | 79 ++ arch/x86/include/asm/feather_trace_64.h | 67 ++ arch/x86/include/asm/hw_irq.h | 3 + arch/x86/include/asm/irq_vectors.h | 5 + arch/x86/include/asm/processor.h | 4 + arch/x86/include/asm/unistd_32.h | 6 +- arch/x86/include/asm/unistd_64.h | 4 + arch/x86/kernel/Makefile | 2 + arch/x86/kernel/cpu/intel_cacheinfo.c | 17 + arch/x86/kernel/entry_64.S | 2 + arch/x86/kernel/ft_event.c | 118 ++ arch/x86/kernel/irqinit.c | 3 + arch/x86/kernel/smp.c | 27 + arch/x86/kernel/syscall_table_32.S | 12 + fs/exec.c | 13 +- fs/inode.c | 2 + include/linux/completion.h | 1 + include/linux/fs.h | 21 +- include/linux/hrtimer.h | 32 + include/linux/sched.h | 19 +- include/linux/smp.h | 5 + include/linux/tick.h | 5 + include/litmus/bheap.h | 77 ++ include/litmus/budget.h | 8 + include/litmus/clustered.h | 44 + include/litmus/debug_trace.h | 37 + include/litmus/edf_common.h | 25 + include/litmus/fdso.h | 77 ++ include/litmus/feather_buffer.h | 94 ++ include/litmus/feather_trace.h | 65 ++ include/litmus/fp_common.h | 105 ++ include/litmus/ftdev.h | 55 + include/litmus/jobs.h | 9 + include/litmus/litmus.h | 292 +++++ include/litmus/litmus_proc.h | 25 + include/litmus/locking.h | 28 + include/litmus/preempt.h | 164 +++ include/litmus/rt_domain.h | 182 ++++ include/litmus/rt_param.h | 215 ++++ include/litmus/sched_plugin.h | 111 ++ include/litmus/sched_trace.h | 200 ++++ include/litmus/srp.h | 28 + include/litmus/trace.h | 129 +++ include/litmus/unistd_32.h | 21 + include/litmus/unistd_64.h | 33 + include/litmus/wait.h | 57 + kernel/exit.c | 4 + kernel/fork.c | 7 + kernel/hrtimer.c | 95 ++ kernel/printk.c | 14 +- kernel/sched.c | 120 ++- kernel/sched_fair.c | 2 +- kernel/sched_rt.c | 2 +- kernel/time/tick-sched.c | 47 + litmus/Kconfig | 185 ++++ litmus/Makefile | 30 + litmus/bheap.c | 314 ++++++ litmus/budget.c | 111 ++ litmus/clustered.c | 111 ++ litmus/ctrldev.c | 150 +++ litmus/edf_common.c | 118 ++ litmus/fdso.c | 297 +++++ litmus/fp_common.c | 119 ++ litmus/ft_event.c | 43 + litmus/ftdev.c | 446 ++++++++ litmus/jobs.c | 43 + litmus/litmus.c | 555 ++++++++++ litmus/litmus_proc.c | 347 ++++++ litmus/locking.c | 186 ++++ litmus/preempt.c | 131 +++ litmus/rt_domain.c | 357 +++++++ litmus/sched_cedf.c | 822 ++++++++++++++ litmus/sched_gsn_edf.c | 1286 ++++++++++++++++++++++ litmus/sched_litmus.c | 328 ++++++ litmus/sched_pfair.c | 1056 ++++++++++++++++++ litmus/sched_pfp.c | 1542 +++++++++++++++++++++++++++ litmus/sched_plugin.c | 227 ++++ litmus/sched_psn_edf.c | 917 ++++++++++++++++ litmus/sched_task_trace.c | 241 +++++ litmus/sched_trace.c | 252 +++++ litmus/srp.c | 295 +++++ litmus/sync.c | 104 ++ litmus/trace.c | 213 ++++ 93 files changed, 13695 insertions(+), 36 deletions(-)