Commit ef905e34 authored by jdelange's avatar jdelange
Browse files

Add the bench platform

git-svn-id: 129961e7-ef38-4bb5-a8f7-c9a525a55882
parent 916b0c4b
......@@ -15,6 +15,12 @@ properties
Deployment::Execution_Platform => Native;
end x86.linux;
processor implementation x86.linux_bench
Scheduling_Protocol => (RATE_MONOTONIC_PROTOCOL);
Deployment::Execution_Platform => bench;
end x86.linux_bench;
processor implementation x86.linux32
Deployment::Execution_Platform => Linux32;
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment