[seL4] 回复: Devel Digest, Vol 60, Issue 18