From c3864fc1e1938bf93fe355ba864887ef9ba57970 Mon Sep 17 00:00:00 2001 From: yoogx Date: Sun, 19 Jun 2016 16:19:27 +0200 Subject: [PATCH] * Update Scheduling protocol to POSIX_1003_HIGHEST_PRIORITY_FIRST_PROTOCOL --- resources/AADLv2/components/processors/x86.aadl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/resources/AADLv2/components/processors/x86.aadl b/resources/AADLv2/components/processors/x86.aadl index d3aa9333..20a141cc 100644 --- a/resources/AADLv2/components/processors/x86.aadl +++ b/resources/AADLv2/components/processors/x86.aadl @@ -6,7 +6,7 @@ with Deployment; processor x86 properties - Scheduling_Protocol => (RATE_MONOTONIC_PROTOCOL); + Scheduling_Protocol => (POSIX_1003_HIGHEST_PRIORITY_FIRST_PROTOCOL); Deployment::Execution_Platform => Native; end x86; @@ -23,7 +23,7 @@ end x86.win32; processor implementation x86.linux_bench properties - Scheduling_Protocol => (RATE_MONOTONIC_PROTOCOL); + Scheduling_Protocol => (POSIX_1003_HIGHEST_PRIORITY_FIRST_PROTOCOL); Deployment::Execution_Platform => bench; end x86.linux_bench; -- GitLab