equal
deleted
inserted
replaced
7 } |
7 } |
8 |
8 |
9 |
9 |
10 @Manual{LINUX, |
10 @Manual{LINUX, |
11 author = {S.~Rostedt}, |
11 author = {S.~Rostedt}, |
12 title = {{R}eal-{T}ime {G}roup {S}cheduling}, |
12 title = {{RT}-{M}utex {I}mplementation {D}esign}, |
13 note = {Linux Kernel Distribution at kernel.org, Documentation/scheduler/sched-rt-group.txt} |
13 note = {Linux Kernel Distribution at, |
|
14 www.kernel.org/doc/Documentation/rt-mutex-design.txt} |
14 } |
15 } |
15 |
16 |
16 @Misc{PINTOS, |
17 @Misc{PINTOS, |
17 author = {B.~Pfaff}, |
18 author = {B.~Pfaff}, |
18 title = {{PINTOS}}, |
19 title = {{PINTOS}}, |