Design and development of time critical realtime kernels in Ada for use in systems with high demands on execution speed, interrupt latency and predictablity.