But if the microkernel really is as flexible and maintainable as its proponents say,microkernel architectures could be a big help in hetting new operating system releases out the door on time and with fewer bugs.