Commit 66f9510b authored by Rafal Babski's avatar Rafal Babski
Browse files

Generic linux runtime - initial changes

parent 4095871d
......@@ -48,7 +48,8 @@ property set Deployment is
AIR_IOP, -- AIR IOP partition
ZYNQZC706_RTEMS, -- Zynq support, for CoRA-MBAD
ZYNQ_RTEMS_QEMU, -- Zynq support, for CoRA-MBAD, for QEMU
MSP430_FREERTOS -- MSP430 board with FreeRTOS
MSP430_FREERTOS, -- MSP430 board with FreeRTOS
GENERIC_LINUX -- Linux generic
);
-- Supported platforms
......
......@@ -338,6 +338,7 @@ package body Ocarina.Backends.Properties is
Platform_ZynqZC706_RTEMS_Name : Name_Id;
Platform_Zynq_RTEMS_QEMU_Name : Name_Id;
Platform_MSP430_FREERTOS_Name : Name_Id;
Platform_GENERIC_LINUX_Name : Name_Id;
Platform_AIR_IOP_Name : Name_Id;
Transport_BSD_Sockets_Name : Name_Id;
......@@ -2550,6 +2551,8 @@ package body Ocarina.Backends.Properties is
return Platform_Zynq_QEMU;
elsif P_Name = Platform_MSP430_FREERTOS_Name then
return Platform_MSP430_FREERTOS;
elsif P_Name = Platform_GENERIC_LINUX_Name then
return Platform_GENERIC_LINUX;
elsif P_Name = Platform_AIR_IOP_Name then
return Platform_AIR_IOP;
else
......@@ -3122,6 +3125,7 @@ package body Ocarina.Backends.Properties is
Platform_ZynqZC706_RTEMS_Name := Get_String_Name ("zynqzc706_rtems");
Platform_Zynq_RTEMS_QEMU_Name := Get_String_Name ("zynq_rtems_qemu");
Platform_MSP430_FREERTOS_Name := Get_String_Name ("msp430_freertos");
Platform_GENERIC_LINUX_Name := Get_String_Name ("generic_linux");
Platform_AIR_IOP_Name := Get_String_Name ("air_iop");
Transport_BSD_Sockets_Name := Get_String_Name ("bsd_sockets");
......
......@@ -572,6 +572,7 @@ package Ocarina.Backends.Properties is
Platform_Zynq_QEMU,
Platform_RPI, -- For RPi xcompilation.
Platform_MSP430_FREERTOS,
Platform_GENERIC_LINUX,
Platform_AIR_IOP,
Platform_None); -- Unspecified
......
......@@ -175,6 +175,7 @@ package body Ocarina.Backends.PO_HI_Ada is
Platform_LINUX32 |
Platform_LINUX64 |
Platform_WIN32 |
Platform_GENERIC_LINUX |
Platform_None =>
Change_If_Empty (String_Ptr (Target_Prefix), "");
Target := new String'("NATIVE");
......@@ -205,7 +206,7 @@ package body Ocarina.Backends.PO_HI_Ada is
when others =>
raise Program_Error
with "Unsupported platform: " & Execution_Platform'Img;
with "Unsupported platform X: " & Execution_Platform'Img;
end case;
if Execution_Platform /= Platform_LEON_RTEMS
......
......@@ -2411,6 +2411,7 @@ package body Ocarina.Backends.PO_HI_C.Deployment is
Platform_None |
Platform_RPI |
Platform_MSP430_FREERTOS |
Platform_GENERIC_LINUX |
Platform_LINUX32_XENOMAI_NATIVE |
Platform_Native_Compcert |
Platform_LINUX32_XENOMAI_POSIX |
......
......@@ -253,6 +253,9 @@ package body Ocarina.Backends.PO_HI_C is
when Platform_MSP430_FREERTOS =>
Write_Str ("msp430_freertos");
when Platform_GENERIC_LINUX =>
Write_Str ("generic_linux");
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