There seems to be a general trend towards using Clang / LLVM in the ARM area.  AFAIK ARM are going LLVM for V8.

Is it viable to do seL4 work with that environment?

Cheers!