Лично я не заинтересован в том, чтобы драйверы устройства выглядели как пользовательский уровень. Это не так, они не должны быть, а микрокернеры просто глупы.