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

Add target for Zynq_RTEMS on QEMU to Ocarina supported targets.

parent c101bd72
......@@ -43,7 +43,8 @@ property set Deployment is
VXWORKS, -- VXWORKS
FREERTOS, -- FREERTOS
AIR, -- AIR Hypervisor, by GMV
ZYNQ_RTEMS -- Zynq support, for CoRA-MBAD
ZYNQ_RTEMS, -- Zynq support, for CoRA-MBAD
ZYNQ_RTEMS_QEMU -- Zynq support, for CoRA-MBAD, for QEMU
);
-- Supported platforms
......
......@@ -334,6 +334,7 @@ package body Ocarina.Backends.Properties is
Platform_GNAT_Runtime_Name : Name_Id;
Platform_AIR_Name : Name_Id;
Platform_Zynq_RTEMS_Name : Name_Id;
Platform_Zynq_RTEMS_QEMU_Name : Name_Id;
Transport_BSD_Sockets_Name : Name_Id;
Transport_SpaceWire_Name : Name_Id;
......@@ -2515,6 +2516,8 @@ package body Ocarina.Backends.Properties is
return Platform_AIR;
elsif P_Name = Platform_Zynq_RTEMS_Name then
return Platform_Zynq;
elsif P_Name = Platform_Zynq_RTEMS_QEMU_Name then
return Platform_Zynq_QEMU;
else
return Platform_None;
end if;
......@@ -3082,6 +3085,7 @@ package body Ocarina.Backends.Properties is
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");
Platform_Zynq_RTEMS_QEMU_Name := Get_String_Name ("zynq_rtems_qemu");
Transport_BSD_Sockets_Name := Get_String_Name ("bsd_sockets");
......
......@@ -568,6 +568,7 @@ package Ocarina.Backends.Properties is
Platform_GNAT_Runtime,
Platform_AIR,
Platform_Zynq,
Platform_Zynq_QEMU,
Platform_None); -- Unspecified
function Get_Execution_Platform
......
......@@ -2281,7 +2281,8 @@ package body Ocarina.Backends.PO_HI_C.Deployment is
Platform_LINUX_DLL |
Platform_LINUX64 |
Platform_LINUX32 |
Platform_Zynq =>
Platform_Zynq |
Platform_Zynq_QEMU =>
Append_Node_To_List
(RE (RE_Littleendian),
CTN.Values (Endiannesses));
......
......@@ -240,6 +240,8 @@ package body Ocarina.Backends.PO_HI_C is
when Platform_Zynq =>
Write_Str ("zynq");
when Platform_Zynq_QEMU =>
Write_Str ("zynq_qemu");
when others =>
Display_Error
......
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