[seL4] malloc & errno