Commit c101bd72 authored by Laura Alexandra Sequeira Gouveia's avatar Laura Alexandra Sequeira Gouveia
Browse files

Add new Zynq_RTEMS target to Ocarina supported targets.

parent cc5d50e0
......@@ -42,7 +42,8 @@ property set Deployment is
WIN32, -- WIN32
VXWORKS, -- VXWORKS
FREERTOS, -- FREERTOS
AIR -- AIR Hypervisor, by GMV
AIR, -- AIR Hypervisor, by GMV
ZYNQ_RTEMS -- Zynq support, for CoRA-MBAD
);
-- Supported platforms
......
......@@ -333,6 +333,7 @@ package body Ocarina.Backends.Properties is
Platform_Vxworks_Name : Name_Id;
Platform_GNAT_Runtime_Name : Name_Id;
Platform_AIR_Name : Name_Id;
Platform_Zynq_RTEMS_Name : Name_Id;
Transport_BSD_Sockets_Name : Name_Id;
Transport_SpaceWire_Name : Name_Id;
......@@ -2512,6 +2513,8 @@ package body Ocarina.Backends.Properties is
return Platform_GNAT_Runtime;
elsif P_Name = Platform_AIR_Name then
return Platform_AIR;
elsif P_Name = Platform_Zynq_RTEMS_Name then
return Platform_Zynq;
else
return Platform_None;
end if;
......@@ -3078,6 +3081,8 @@ package body Ocarina.Backends.Properties is
Platform_Vxworks_Name := Get_String_Name ("vxworks");
Platform_GNAT_Runtime_Name := Get_String_Name ("gnat_runtime");
Platform_AIR_Name := Get_String_Name ("air");
Platform_Zynq_RTEMS_Name := Get_String_Name ("zynq_rtems");
Transport_BSD_Sockets_Name := Get_String_Name ("bsd_sockets");
Transport_SpaceWire_Name := Get_String_Name ("spacewire");
......
......@@ -567,6 +567,7 @@ package Ocarina.Backends.Properties is
Platform_VxWorks,
Platform_GNAT_Runtime,
Platform_AIR,
Platform_Zynq,
Platform_None); -- Unspecified
function Get_Execution_Platform
......
......@@ -2280,7 +2280,8 @@ package body Ocarina.Backends.PO_HI_C.Deployment is
Platform_WIN32 |
Platform_LINUX_DLL |
Platform_LINUX64 |
Platform_LINUX32 =>
Platform_LINUX32 |
Platform_Zynq =>
Append_Node_To_List
(RE (RE_Littleendian),
CTN.Values (Endiannesses));
......
......@@ -237,6 +237,10 @@ package body Ocarina.Backends.PO_HI_C is
when Platform_AIR =>
Write_Str ("air");
when Platform_Zynq =>
Write_Str ("zynq");
when others =>
Display_Error
("Unsupported platform " & Execution_Platform'Img,
......
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