Delighted to hear that seL4 will be open source! It will be a huge asset to trustworthy computing.