* Remove ARINC653 properties

resources/AADLv2/components/processors/leon.aadl

@@ -3,7 +3,6 @@ package ocarina_processors_leon
 public
 
 with Deployment;
-with ARINC653;
 with Cheddar_Properties;
 
 processor leon
@@ -58,10 +57,10 @@ subcomponents
       { Deployment::Execution_Platform => LEON3_XM3;};
 	part2 : virtual processor xtratum_partition.generic
       { Deployment::Execution_Platform => LEON3_XM3;};
-properties
-   ARINC653::Partition_Slots => (500ms, 500ms);
-   ARINC653::Slots_Allocation => (reference (part1), reference (part2));
-	ARINC653::Module_Major_Frame => 1000ms;
+--  properties
+--   ARINC653::Partition_Slots => (500ms, 500ms);
+--   ARINC653::Slots_Allocation => (reference (part1), reference (part2));
+--	ARINC653::Module_Major_Frame => 1000ms;
 end leon3.xtratum_2partitions;
 
 end ocarina_processors_leon;