Skip to content
GitLab
Menu
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
TASTE
Ocarina
Commits
e72bab42
Commit
e72bab42
authored
Jun 05, 2018
by
yoogx
Browse files
* Remove obsolete platform
For openaadl/ocarina#161
parent
b7dfadc1
Changes
2
Hide whitespace changes
Inline
Side-by-side
resources/AADLv2/components/processors/arm.aadl
View file @
e72bab42
...
@@ -19,29 +19,4 @@ properties
...
@@ -19,29 +19,4 @@ properties
Preemptive_Scheduler
=>
true
;
Preemptive_Scheduler
=>
true
;
end
cortex_m
.
i
;
end
cortex_m
.
i
;
processor
nds
extends
arm
end
nds
;
processor
implementation
nds
.
rtems
properties
Scheduling_Protocol
=>
(
Posix_1003_Highest_Priority_First_Protocol
);
Priority_Range
=>
0
..
255
;
Scheduler_Quantum
=>
0
Ms
;
Preemptive_Scheduler
=>
true
;
Deployment
::
Execution_Platform
=>
NDS_RTEMS
;
end
nds
.
rtems
;
processor
gumstix
extends
arm
end
gumstix
;
processor
implementation
gumstix
.
rtems
properties
Scheduling_Protocol
=>
(
Posix_1003_Highest_Priority_First_Protocol
);
Priority_Range
=>
0
..
255
;
Scheduler_Quantum
=>
0
Ms
;
Preemptive_Scheduler
=>
true
;
Deployment
::
Execution_Platform
=>
GUMSTIX_RTEMS
;
end
gumstix
.
rtems
;
end
ocarina_processors_arm
;
end
ocarina_processors_arm
;
resources/AADLv2/components/processors/x86.aadl
View file @
e72bab42
...
@@ -47,16 +47,6 @@ properties
...
@@ -47,16 +47,6 @@ properties
Deployment
::
Execution_Platform
=>
Native_Compcert
;
Deployment
::
Execution_Platform
=>
Native_Compcert
;
end
x86
.
native_compcert
;
end
x86
.
native_compcert
;
processor
implementation
x86
.
rtems
properties
Deployment
::
Execution_Platform
=>
X86_RTEMS
;
end
x86
.
rtems
;
processor
implementation
x86
.
rtems_posix
properties
Deployment
::
Execution_Platform
=>
X86_RTEMS_POSIX
;
end
x86
.
rtems_posix
;
processor
implementation
x86
.
xenomai_posix
processor
implementation
x86
.
xenomai_posix
properties
properties
Deployment
::
Execution_Platform
=>
linux32_xenomai_posix
;
Deployment
::
Execution_Platform
=>
linux32_xenomai_posix
;
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a 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