...
 
Commits (4)
......@@ -42,6 +42,7 @@ property set Deployment is
WIN32, -- WIN32
VXWORKS, -- VXWORKS
FREERTOS, -- FREERTOS
MSP430_FREERTOS, -- MSP430 board with FreeRTOS
AIR -- AIR Hypervisor, by GMV
);
-- 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_MSP430_FREERTOS_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_MSP430_FREERTOS_Name then
return Platform_MSP430_FREERTOS;
else
return Platform_None;
end if;
......@@ -3078,6 +3081,7 @@ 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_MSP430_FREERTOS_Name := Get_String_Name ("msp430_freertos");
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_MSP430_FREERTOS,
Platform_None); -- Unspecified
function Get_Execution_Platform
......
......@@ -2274,6 +2274,7 @@ package body Ocarina.Backends.PO_HI_C.Deployment is
case Execution_Platform is
when Platform_Native |
Platform_None |
Platform_MSP430_FREERTOS |
Platform_LINUX32_XENOMAI_NATIVE |
Platform_Native_Compcert |
Platform_LINUX32_XENOMAI_POSIX |
......
......@@ -237,6 +237,9 @@ package body Ocarina.Backends.PO_HI_C is
when Platform_AIR =>
Write_Str ("air");
when Platform_MSP430_FREERTOS =>
Write_Str ("msp430_freertos");
when others =>
Display_Error
("Unsupported platform " & Execution_Platform'Img,
......