News item about the first seL4 article