seL4
eleanor