И как Вы новости читаете... Что-то Вы намешали, недопоняли, за других додумали и вынесли отрицательный вердикт. Ну или сильно утрируете. Или троллите.

> Являясь ядром второго уровня Genode

Какое еще ядро второго уровня? Тогда уж и glibc с другими системными библиотеками и утилитами и парочкой важных демонов - "ядро второго уровня". Genode - это окружение, среда, для запуска приложений, отличная от привычного Вам линукса или винды. Работает поверх разных ядер/микроядер.

> при этом является ещё и "микрогипервизором"

это Вы приплели потому что одно из самодостаточных и не "запускающихся поверх линукс" микроядер, поверх которого бегает Genode, является "микрогипервизором"?

"NOVA is a so called microhypervisor - a modern high-performance capability-based microkernel for the x86 architecture with special support for hardware-based virtualization and IOMMUs."

https://genode.org/documentation/platforms/nova

> т.е. поверх линукса, запускается микроядерное нечто, которое позволит вам запустить
> виртуалку.... с ЛИНУКСОМ(!) чтобы запустить иксы и браузер.

    Могу ошибаться, но там не "микроядерное нечто" запускается на линуксе, а "инфраструктура" Genode (своё, оригинальное, окружение для запуска пользовательских программ). Подозреваю, что микроядерным оно становится, если запускается на микроядрах, перечисленных в документации (которые не "запускаются на линуксе", а вполне самодостаточны). Линукс хоть и дефолтовая, но не единственная платформа на запуска Genode. Кто Вас заставляет запускать Genode поверх линукса, Вам что, мало предоставленного списка микроядер?
    "Виртуалка с линуксом" используется (внезапно) для запуска линукс-программ, не портированных на Genode. Для BSD-программ аналогично. Ну должно быть очевидно и понятно, что разработчики, как бы это так помягче сказать, не всемогущи и еще не успели портировать весь имеющийся на планете полезный софт под Genode. Да и в случае наличия нужных исполняемых бинарников при одновременном отсутствии исходников тоже может пригодиться (как они пишут у себя на сайте - "Genode not only facilitates the use of virtual machines for application compatibility but also the re-use of existing device drivers" ). К тому же (ирония) там "линукс" может "запускаться" поверх микроядра, а не наоборот: "Входящее в состав паравиртуализированное Linux-ядро L4Linux, работающее поверх микроядра Fiasco.OC, позволяет выполнять в Genode обычные Linux программы. Ядро L4Linux не работает с оборудованием напрямую, а использует сервисы Genode через набор виртуальных драйверов.". Да и "Подготовлен порт VirtualBox, работающий поверх микроядра NOVA" (напоминаю, эта NOVA работает не "поверх линукса", а "поверх железа").
      Резюмируя - прочтите еще раз новость, особенно последний абзац. Из последнего абзаца следует простой для Вашего случая вывод - если используешь только (или в подавляющем большинстве) линуксовые программы и микроядерность не интересует - забудь про Genode и используй линукс, хоть с виртуализацией, хоть нет. Если микроядерность нужна и интересна, если собираешься писАть или использовать не "линукс-программы", а "приложения, адаптированные для запуска напрямую поверх микроядра и окружения Noux, обеспечивающего виртуализацию на уровне ОС" (мало ли, собрался написАть свою, наколенную, "надежную", систему "умного дома" или систему управления самогонным аппаратом на PandaBoard) - используй Genode, запущенную на интересующем тебя микроядре из семейства L4 и запускай немногочисленные нужные линукс-проги через виртуализацию (пара- или полную) только при отсутствии аналога для генод.