Commits (2)
......@@ -23,6 +23,7 @@ property set Deployment is
Native_Compcert, -- Native platforms using the Compcert compiler
bench, -- Benchmark platform (native with instrumentation).
GNAT_Runtime, -- Use a GNAT Runtime, e.g. from the Ada_Drivers_Library
RPI, -- For RPi xcompilation.
LEON_ORK,
LEON_RTEMS, -- LEON2 board or tsim-leon (RTEMS)
LEON_RTEMS_POSIX, -- LEON2 board or tsim-leon (RTEMS)
......@@ -42,6 +43,7 @@ property set Deployment is
WIN32, -- WIN32
VXWORKS, -- VXWORKS
FREERTOS, -- FREERTOS
MSP430_FREERTOS, -- MSP430 board with FreeRTOS
AIR, -- AIR Hypervisor, by GMV
AIR_IOP, -- AIR IOP partition
ZYNQZC706_RTEMS, -- Zynq support, for CoRA-MBAD
......
......@@ -315,6 +315,7 @@ package body Ocarina.Backends.Properties is
Platform_Native_Name : Name_Id;
Platform_Bench_Name : Name_Id;
Platform_Native_Compcert_Name : Name_Id;
Platform_RPI_Name : Name_Id;
Platform_LINUX32_Name : Name_Id;
Platform_Linux_DLL_Name : Name_Id;
Platform_Win32_Name : Name_Id;
......@@ -2500,6 +2501,9 @@ package body Ocarina.Backends.Properties is
return Platform_Native;
elsif P_Name = Platform_Bench_Name then
return Platform_Bench;
elsif P_Name = Platform_RPI_Name then
return Platform_RPI;
elsif P_Name = Platform_Native_Compcert_Name then
return Platform_Native_Compcert;
elsif P_Name = Platform_LEON_RTEMS_POSIX_Name then
......@@ -3093,6 +3097,7 @@ package body Ocarina.Backends.Properties is
Platform_Native_Name := Get_String_Name ("native");
Platform_Bench_Name := Get_String_Name ("bench");
Platform_Native_Compcert_Name := Get_String_Name ("native_compcert");
Platform_RPI_Name := Get_String_Name ("rpi");
Platform_LINUX32_Name := Get_String_Name ("linux32");
Platform_LINUX_DLL_Name := Get_String_Name ("linux_dll");
Platform_Win32_Name := Get_String_Name ("win32");
......
......@@ -570,6 +570,7 @@ package Ocarina.Backends.Properties is
Platform_AIR,
Platform_ZynqZC706,
Platform_Zynq_QEMU,
Platform_RPI, -- For RPi xcompilation.
Platform_MSP430_FREERTOS,
Platform_AIR_IOP,
Platform_None); -- Unspecified
......
......@@ -2409,6 +2409,7 @@ package body Ocarina.Backends.PO_HI_C.Deployment is
case Execution_Platform is
when Platform_Native |
Platform_None |
Platform_RPI |
Platform_MSP430_FREERTOS |
Platform_LINUX32_XENOMAI_NATIVE |
Platform_Native_Compcert |
......
......@@ -235,6 +235,9 @@ package body Ocarina.Backends.PO_HI_C is
when Platform_LINUX32_XENOMAI_POSIX =>
Write_Str ("linux32-xenomai-posix");
when Platform_RPI =>
Write_Str ("rpi");
when Platform_AIR =>
Write_Str ("air");
......