Mark_Friedenbach comments on [LINK] seL4, secure operating system kernel is being open-sourced