Define __KERN_ORG__ inserted to differenciate between original scheduler and our...
authorJens Krieg <jkrieg@mailbox.tu-berlin.de>
Tue, 21 May 2013 14:36:15 +0000 (16:36 +0200)
committerJens Krieg <jkrieg@mailbox.tu-berlin.de>
Tue, 21 May 2013 14:36:15 +0000 (16:36 +0200)
commitc5c3cbee6d861d9cf813877279ebf408eb505c3d
treeb4771d1a087ef10ac28d66c53f095c3a9384a248
parent6b5c4002de90661a17f75b2cb451674891056ec8
Define __KERN_ORG__ inserted to differenciate between original scheduler and our implementation
23 files changed:
kernel/Makefile
kernel/sched.new/Makefile [new file with mode: 0644]
kernel/sched.new/clock.c [new file with mode: 0644]
kernel/sched.new/core.c [new file with mode: 0644]
kernel/sched.new/cputime.c [new file with mode: 0644]
kernel/sched.new/sched.h [new file with mode: 0644]
kernel/sched/Makefile
kernel/sched/auto_group.c [new file with mode: 0644]
kernel/sched/auto_group.h [new file with mode: 0644]
kernel/sched/clock.c
kernel/sched/core.c
kernel/sched/cpupri.c [new file with mode: 0644]
kernel/sched/cpupri.h [new file with mode: 0644]
kernel/sched/cputime.c
kernel/sched/debug.c [new file with mode: 0644]
kernel/sched/fair.c [new file with mode: 0644]
kernel/sched/features.h [new file with mode: 0644]
kernel/sched/idle_task.c [new file with mode: 0644]
kernel/sched/rt.c [new file with mode: 0644]
kernel/sched/sched.h
kernel/sched/stats.c [new file with mode: 0644]
kernel/sched/stats.h [new file with mode: 0644]
kernel/sched/stop_task.c [new file with mode: 0644]