CORE_OBJECT_TYPE core RATE_MONOTONIC_PROTOCOL 0 PREEMPTIVE 0 0 0 0 1 0 0 I386 PROCESSOR_OBJECT_TYPE processor1 MONOCORE_TYPE NO_MIGRATION_TYPE PROCESSOR_OBJECT_TYPE processor2 MONOCORE_TYPE NO_MIGRATION_TYPE ADDRESS_SPACE_OBJECT_TYPE addr1 processor1 0 0 0 0 NO_SCHEDULING_PROTOCOL 0 PREEMPTIVE 0 0 0 0 TOP_SECRET HIGH SLS DEVICE TRUE ADDRESS_SPACE_OBJECT_TYPE addr2 processor2 0 0 0 0 NO_SCHEDULING_PROTOCOL 0 PREEMPTIVE 0 0 0 0 TOP_SECRET HIGH SLS DEVICE TRUE TASK_OBJECT_TYPE T1 PERIODIC_TYPE processor1 addr1 50 0 1000 0 1 0 SCHED_FIFO 0 0 0 0 0 FALSE TOP_SECRET HIGH SLS APPLICATION TRUE 0 0 1000 0 0 TASK_OBJECT_TYPE T2 PERIODIC_TYPE processor1 addr1 50 0 1000 0 1 0 SCHED_FIFO 0 0 0 0 0 FALSE TOP_SECRET HIGH SLS APPLICATION TRUE 0 0 1000 0 0 TASK_OBJECT_TYPE T3 PERIODIC_TYPE processor2 addr2 50 0 1000 0 1 0 SCHED_FIFO 0 0 0 0 0 FALSE TOP_SECRET HIGH SLS APPLICATION TRUE 0 0 1000 0 0 TASK_OBJECT_TYPE T4 PERIODIC_TYPE processor2 addr2 50 0 1000 0 1 0 SCHED_FIFO 0 0 0 0 0 FALSE TOP_SECRET HIGH SLS APPLICATION TRUE 0 0 1000 0 0