Report of session: current real-time AIs

AI Title Status 00249 Ravenscar Profile Approved (WG9) 00250 Extensible Protected Types Dormant 00265 Partition Elaboration Policy Approved (WG9) 00297 Timing Events Approved (ARG) 00298 Non-Preemptive Dispatching Approved (ARG) 00307 Execution Time Clocks Approved (ARG) 00321 Definition of Dispatching Policies Approved (ARG) 00327 Dynamic Ceiling Priorities Work item 10266 Task Termination Procedure Work item