Commit 4f3afcf3 authored by julien.delange's avatar julien.delange

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

   ocarina/src/backends/ocarina-backends-properties.ads
   ocarina/src/backends/ocarina-backends-po_hi_c.adb
   ocarina/src/backends/ocarina-backends-po_hi_c-deployment.adb
   ocarina/resources/deployment.aadl
     - Update AADL properties and properties handling
       so that we can define xenomai targets



git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@2193 129961e7-ef38-4bb5-a8f7-c9a525a55882
parent 08c54117
......@@ -32,6 +32,8 @@ property set Deployment is
LEON_ORK, -- LEON2 board or tsim-leon (ORK)
LEON_GNAT, -- LEON2 board or qemu (GNATPRO/HI-E)
LINUX32, -- Linux 32 bits
LINUX32_XENOMAI_NATIVE, -- Linux 32 bits with native Xenomai
LINUX32_XENOMAI_POSIX, -- Linux 32 bits with Xenomai and POSIX skin
LINUX64, -- Linux 64 bits
ERC32_ORK, -- ERC32 board or tsim-erc32 (ORK)
ARM_DSLINUX, -- Nintendo DS (tm) (DSLinux)
......
......@@ -1766,6 +1766,8 @@ package body Ocarina.Backends.PO_HI_C.Deployment is
case Execution_Platform is
when Platform_Native | Platform_None |
Platform_X86_RTEMS | Platform_X86_LINUXTASTE |
Platform_LINUX32_XENOMAI_NATIVE |
Platform_LINUX32_XENOMAI_POSIX |
Platform_LINUX64 | Platform_LINUX32 =>
Append_Node_To_List
(RE (RE_Littleendian), CTN.Values (Endiannesses));
......
......@@ -173,6 +173,12 @@ package body Ocarina.Backends.PO_HI_C is
when Platform_LINUX32 =>
Write_Str ("linux32");
when Platform_LINUX32_XENOMAI_NATIVE =>
Write_Str ("linux32-xenomai-native");
when Platform_LINUX32_XENOMAI_POSIX =>
Write_Str ("linux32-xenomai-posix");
when others =>
Display_Error ("Unsupported platform " & Execution_Platform'Img,
Fatal => True);
......
......@@ -302,6 +302,8 @@ package body Ocarina.Backends.Properties is
Platform_Native_Name : Name_Id;
Platform_LINUX32_Name : Name_Id;
Platform_LINUX32_Xenomai_Native_Name : Name_Id;
Platform_LINUX32_Xenomai_Posix_Name : Name_Id;
Platform_LINUX64_Name : Name_Id;
Platform_LEON_RTEMS_Name : Name_Id;
Platform_X86_LINUXTASTE_Name : Name_Id;
......@@ -2566,6 +2568,10 @@ package body Ocarina.Backends.Properties is
return Platform_X86_LINUXTASTE;
elsif P_Name = Platform_LINUX32_Name then
return Platform_LINUX32;
elsif P_Name = Platform_LINUX32_Xenomai_Native_Name then
return Platform_LINUX32_XENOMAI_NATIVE;
elsif P_Name = Platform_LINUX32_Xenomai_Posix_Name then
return Platform_LINUX32_XENOMAI_POSIX;
elsif P_Name = Platform_LINUX64_Name then
return Platform_LINUX64;
elsif P_Name = Platform_X86_RTEMS_Name then
......@@ -3097,6 +3103,10 @@ package body Ocarina.Backends.Properties is
Platform_Native_Name := Get_String_Name ("native");
Platform_X86_RTEMS_Name := Get_String_Name ("x86_rtems");
Platform_LINUX32_Name := Get_String_Name ("linux32");
Platform_LINUX32_Xenomai_Native_Name
:= Get_String_Name ("linux32_xenomai_native");
Platform_LINUX32_Xenomai_Posix_Name
:= Get_String_Name ("linux32_xenomai_posix");
Platform_LINUX64_Name := Get_String_Name ("linux64");
Platform_X86_LINUXTASTE_Name := Get_String_Name ("x86_linuxtaste");
Platform_LEON_RTEMS_Name := Get_String_Name ("leon_rtems");
......
......@@ -573,6 +573,8 @@ package Ocarina.Backends.Properties is
Platform_LEON_GNAT,
Platform_LEON_ORK,
Platform_LINUX32,
Platform_LINUX32_XENOMAI_NATIVE,
Platform_LINUX32_XENOMAI_POSIX,
Platform_LINUX64,
Platform_ERC32_ORK,
Platform_ARM_DSLINUX,
......
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