Desert Spring-Time is a project to create an Objective Caml-based operating system. Looks like very early days, but they're already getting started on basic GUI stuff. See also House, a similar project for GHC Haskell which is a bit further along.