Mezzano: A Common Lisp-based 64-bit OS

no

https://github.com/whily/yalo

Да!

Может быть...

кто-нибудь уже попробовал?

ничего не понятно, как это собрать чтобы запустить в virtualbox?

Не грей голову, просто бери образ.
По сабжу: заводил в ящике пару месяцев назад.
Ось как ось. Больше катит как прототип, для боевых задач негодна совершенно.

для боевых задач негодна совершенно.

Для боевых задач сейчас ничего не годно, кроме ядра линукса и гну окружения.

FreeBSD вполне ок. Сейчас ещё Xen dom0 допилят, и можно будет снести этот ваш лялех.

Что это за х-й по 2-й ссылке?

Про FreeRTOS не забывай. Ибо в области задач, требующих realtime, линукс не очень.

у меня скриншот ос по второй ссылке показывают