Xv6, a simple Unix-like teaching operating system

That seems pretty shocking, unless they meant in name only. What was the next closest thing?

And an operating system not used in the industry but just used for teaching is going to be more credibly relevant?

    case T_IRQ0:
        // Bochs generates spurious IDE1 interrupts. 
        break;