Their work resulted in L4/MIPS and L4/Alpha, resulting in Liedtke's original version being retrospectively named L4/x86.
他们开发了L4/MIPS和L4/Alpha，而Liedtke的原始版本被追认为L4/x86。