Довольно интересный коммерческий Embeded Linux - Klinux Цена отчасти разумная - от 300 евриков
http://www.klinux.org/en/pricelist.html
Все атмеловские армы (в том числе !MMU) хорошо поддержаны.
http://www.klinux.org/en/platforms.html
Обещано много чего, начиная от уже готового и собранного RTAI, и кончая многими другими полезными фишками.
Но вот MIPS там нет.