In order to ensure consistency between operating systems, IEEE formalized some standards for operating systems. These are described in the following sections.