L4 kernel - это прежде всего стройная идея. Держу пари, со временем ядро L4 встроят в микропрограмму процессоров и люди будут думать что он всегда там был. :)
Попробуйте попробуйте запустить Demos Commander на голом ARM. С радостью понаблюдаю за этим процессом.
Спасибо за информацию о том, что нужно людям. Я вполне серьёзно и без шуток. Поддержка USB запланирована, но как это ни прискорбно - руки пока не дошли.
Насчёт файловой системы - а какая разница на чём физически она находится? Если для flash памяти можно написать драйвер, осуществляющий блочные чтение и запись, то отформатировать это устройство можно в любом формате.
Кстати, насчёт "линуксовых файловых абстракций" - это Вы о POSIX? Сдаётся мне, мы с Вами о разных вещах говорим. Почитайте же спецификацию L4. Файловые абстракции идут на два уровня выше микроядра. Между файловой системой и кодом собственно микроядра расположен супервизор, который знает только о памяти, процессах и программных потоках.
Думаю, эта ссылка поможет Вам понять, как это работает без файловой системы:
http://l4os.ru/documentation
