Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
TASTE
Ocarina
Commits
2041703f
Commit
2041703f
authored
Feb 03, 2020
by
Rafal Babski
Browse files
Initial support for MSP430
parent
cc5d50e0
Changes
5
Hide whitespace changes
Inline
Side-by-side
resources/deployment.aadl
View file @
2041703f
...
...
@@ -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
...
...
src/backends/ocarina-backends-properties.adb
View file @
2041703f
...
...
@@ -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"
);
...
...
src/backends/ocarina-backends-properties.ads
View file @
2041703f
...
...
@@ -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
...
...
src/backends/po_hi_c/ocarina-backends-po_hi_c-deployment.adb
View file @
2041703f
...
...
@@ -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
|
...
...
src/backends/po_hi_c/ocarina-backends-po_hi_c.adb
View file @
2041703f
...
...
@@ -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
,
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment