Comment by mtdewcmu

Is sel4 an OS kernel created by Jane Street?