Commit 939b586a authored by jdelange's avatar jdelange

* ocarina/src/backends/ocarina-backends-properties.adb

  - Fix line size, raise issues during compilation within the VM

 * ocarina/resources/deployment.aadl
   ocarina/resources/AADLv2/components/processors/x86.aadl
  - Introduce values for Win32 support



git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@4640 129961e7-ef38-4bb5-a8f7-c9a525a55882
parent dd07b9ea
......@@ -15,6 +15,12 @@ properties
Deployment::Execution_Platform => Native;
end x86.linux;
processor implementation x86.win32
properties
Deployment::Execution_Platform => win32;
end x86.win32;
processor implementation x86.linux_bench
properties
Scheduling_Protocol => (RATE_MONOTONIC_PROTOCOL);
......
......@@ -47,6 +47,7 @@ property set Deployment is
X86_RTEMS_POSIX, -- x86 under RTEMS with POSIX layer
X86_LINUXTASTE, -- TASTE-specific linux distribution
MARTE_OS, -- MaRTE OS
WIN32, -- WIN32
VXWORKS -- VXWORKS
);
-- Supported platforms
......
......@@ -4289,14 +4289,16 @@ package body Ocarina.Backends.Properties is
In_Mode => No_Name);
L := Multi_Value (AIN.Property_Association_Value (P));
elsif Is_Defined_Property (E, ARINC653_Partition_Recovery_Actions_Name) then
elsif Is_Defined_Property
(E, ARINC653_Partition_Recovery_Actions_Name) then
P := AIEP.Find_Property_Association_From_Name
(Property_List => AIN.Properties (E),
Property_Name => ARINC653_Partition_Recovery_Actions_Name,
In_Mode => No_Name);
L := Multi_Value (AIN.Property_Association_Value (P));
elsif Is_Defined_Property (E, ARINC653_Process_Recovery_Actions_Name) then
elsif Is_Defined_Property
(E, ARINC653_Process_Recovery_Actions_Name) then
P := AIEP.Find_Property_Association_From_Name
(Property_List => AIN.Properties (E),
Property_Name => ARINC653_Process_Recovery_Actions_Name,
......
Markdown is supported
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