By the mid-1990s, work on microkernel systems was largely stagnant, although the market had generally believed that all modern operating systems would be microkernel based by the 1990s.
1990'ların ortalarından itibaren mikrokernel sistemlerinde yapılan çalışmalar büyük oranda durdu, ancak piyasa genel olarak tüm modern işletim sistemlerinin 1990'lı yıllara dayanan mikrokernel olacağına inandığını belirtti.