1. 12

The announcement was http://sel4.systems/pipermail/announce/2015/000010.html but the release notes were more interesting.

  1.