Jorge Aparicio c1a0f8173a require Resource protected data to be Send, make tokens !Send		2017-05-08 13:25:20 -05:00
..
access.rs	replace the ceiling token with a preemption threshold token	2017-05-08 12:05:42 -05:00
ceiling.rs	replace the ceiling token with a preemption threshold token	2017-05-08 12:05:42 -05:00
lock.rs	replace the ceiling token with a preemption threshold token	2017-05-08 12:05:42 -05:00
peripherals-alias-1.rs	replace the ceiling token with a preemption threshold token	2017-05-08 12:05:42 -05:00
peripherals-alias-2.rs	replace the ceiling token with a preemption threshold token	2017-05-08 12:05:42 -05:00
race-1.rs	replace the ceiling token with a preemption threshold token	2017-05-08 12:05:42 -05:00
race-2.rs	replace the ceiling token with a preemption threshold token	2017-05-08 12:05:42 -05:00
raise.rs	replace the ceiling token with a preemption threshold token	2017-05-08 12:05:42 -05:00
tasks-p0.rs	replace the ceiling token with a preemption threshold token	2017-05-08 12:05:42 -05:00
tasks-same-handler.rs	replace the ceiling token with a preemption threshold token	2017-05-08 12:05:42 -05:00
tasks-wrong-idle.rs	replace the ceiling token with a preemption threshold token	2017-05-08 12:05:42 -05:00
tasks-wrong-init.rs	replace the ceiling token with a preemption threshold token	2017-05-08 12:05:42 -05:00
tasks-wrong-priority.rs	replace the ceiling token with a preemption threshold token	2017-05-08 12:05:42 -05:00
tasks-wrong-task.rs	replace the ceiling token with a preemption threshold token	2017-05-08 12:05:42 -05:00
tasks-wrong-threshold.rs	replace the ceiling token with a preemption threshold token	2017-05-08 12:05:42 -05:00
token-transfer.rs	require Resource protected data to be Send, make tokens !Send	2017-05-08 13:25:20 -05:00