>Our current hardware doesn't support microkernels because there is no demand, and nobody is creating general purpose microkernels because all the important har

>Our current hardware doesn't support microkernels because there is no demand, and nobody is creating general purpose microkernels because all the important hardware doesn't support it. So, I'm not sure we will ever see that change. RISC-V and seL4 cooperate closely, ensuring this does not apply anymore.