☛ Deterministic operating system having guaranteed worst-case interrupt latency and context-switch times.

☛ Documentation providing for the minimum, average, and maximum number of clock cycles required by each system call.

☛ Interrupt response times should be very minute.

☛ Context switch time should be very low.

☛ Compatibility with several plugin devices.

☛ Overall it should be very reliable.