embeddeb - встроенные системы, есть примеры работы Linux ядра в КПК, смартфонах, в контроллерах...
...что касается материалов, то в руки тебе кники Э. Таненбаума: "Архитектура современных операционных систем", и, вышла совсем недавно, название, что-то вроде "Разработка операционных систем", того же автора... обе книги издательства Piter... последнюю заказать еще не успел...

...еще в инете валяется книга по архитектуре FreeBSD 5 ветки (формат chm), кончно FreeBSD трудно назвать микроядерной, но почитать я думаю полезно... ссылку на книгу где-то на этом форуме брал...
В принцепе и Linux микроядерным назвать нельзя... к оным можно отнести ядро Mach, другие сейчас уж и не вспомню... в результате "скрещивания" Mach и BSD получилось ядро Darwin, на котором работает Mac OS X...
...еще поищи в инете инфу об экзо-ядре, весит (ядро) всего лишь несколько килобайт...