一台装有红旗安全操作系统 4.0（RedFlag Security OS 4.0）的机器，在启动时提示：

输入3后无法进入系统。按照《红旗安全操作系统4.0 安装分发手册》65页的“系统启动时出现大量avc提示后无法引导”一节的步骤操作，问题依旧。经分析，原来是/etc/inittab文件的安全标记与系统安全标记库不一致所造成的。