Ядро: http://www.l4ka.org/projects/pistachio/download.php
Скачать: http://hg.l4ka.org/l4kaweb.cgi/l4ka-pis … ip.tar.bz2

Сначала собрал дерево:

autoreconf -i
mkdir build
cd build
../configure --enable-l4-abi=x2 --host=i686-pc-viengoos-gnu --with-newlib
make && make
mkdir /l4/boot
install -s laden/laden /l4/boot
install -s viengoos/viengoos /l4/boot
install -s hieronymus/hieronymus /l4/boot

Собирается, без проблем, в результате мы получаем кросс-компилятор(собраный под i686-pc-viengoos-gnu архитектуру) Хотя возникает одно "но": удаётся собрать только под i686-pc-viengoos-gnu архитектуру. Если же i686 заменить на x86_64, то ./configure ругается на "неизвестную архитектуру", хотя сам gcc такой тоже не знает, да и не его это забота, AFAIK.
В configure.ac содержатся строки с указанием архитектуры, там указана amd64(что для gcc равнозначно x86_64, AFAIK).

Теперь вопрос: как собрать под x86_64-архитектуру? Это нужно для компиляции ядра под ту же x86_64.

_____________________________________________

Я не извращенец, мне просто понравились идеи работы этой ОС.