Тьфу, чертовы омонимы :)
Что такое UML, я себе примерно представляю и даже книжку читал. Но тут имелся в виду UserModeLinux, о котором был вчерашний семинар. Я под его впечатлением напрочь забыл про одноименный язык.

А unexec - это то ли ядерный патч, то ли просто утилитка, делающая вещи, обратные exec. То есть она сохраняет работающий процесс в ELF-файл, из которого его потом можно вытащить. Это якобы используется в xemacs, а может и еще где %)