Чо-та я думал, что швейцарцы -- тёмный народ, ан нет:

Systems @ ETH Zurich, Haskell on the Metal

Как раз про эту seL4 упоминают, а так же про ещё парочку операционок на Хаскелле -- Osker и House. И если Osker -- микроядро, то House грузится с дискетки и даже примитивненький GUI с мышкой имеет...