Commit 52d4f524 authored by Thanassis Tsiodras's avatar Thanassis Tsiodras

Patch from Jerome towards supporting ARM deployments.

parent 5d72fb32
......@@ -8,6 +8,19 @@ with Cheddar_Properties;
processor arm
end arm;
processor cortex_m extends arm
properties
Deployment::Execution_Platform => ARM_CORTEX;
end cortex_m;
processor implementation cortex_m.i
properties
Scheduling_Protocol => (Posix_1003_Highest_Priority_First_Protocol);
Priority_Range => 0 .. 255;
Cheddar_Properties::Scheduler_Quantum => 0 Ms;
Cheddar_Properties::Preemptive_Scheduler => true;
end cortex_m.i;
processor nds extends arm
end nds;
......
......@@ -34,6 +34,7 @@ property set Deployment is
LINUX32_XENOMAI_POSIX, -- Linux 32 bits with Xenomai and POSIX skin
LINUX64, -- Linux 64 bits
ERC32_ORK, -- ERC32 board or tsim-erc32 (ORK)
ARM_CORTEX, -- ARM XXXX
ARM_DSLINUX, -- Nintendo DS (tm) (DSLinux)
ARM_N770, -- Nokia N770 (tm)
GUMSTIX_RTEMS, -- Gumstix under RTEMS
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment