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
3c88ad43
Commit
3c88ad43
authored
Feb 03, 2020
by
Rafal Babski
Browse files
Fix Tabs -> Spaces
parent
2041703f
Changes
2
Hide whitespace changes
Inline
Side-by-side
resources/deployment.aadl
View file @
3c88ad43
...
...
@@ -42,7 +42,7 @@ property set Deployment is
WIN32, -- WIN32
VXWORKS, -- VXWORKS
FREERTOS, -- FREERTOS
MSP430_FREERTOS, -- MSP430 board with FreeRTOS
MSP430_FREERTOS, -- MSP430 board with FreeRTOS
AIR -- AIR Hypervisor, by GMV
);
-- Supported platforms
...
...
src/backends/po_hi_c/ocarina-backends-po_hi_c-deployment.adb
View file @
3c88ad43
...
...
@@ -2274,7 +2274,7 @@ package body Ocarina.Backends.PO_HI_C.Deployment is
case
Execution_Platform
is
when
Platform_Native
|
Platform_None
|
Platform_MSP430_FREERTOS
|
Platform_MSP430_FREERTOS
|
Platform_LINUX32_XENOMAI_NATIVE
|
Platform_Native_Compcert
|
Platform_LINUX32_XENOMAI_POSIX
|
...
...
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