Reply capability
= Reply capability
A <security capability> authorizing a reply to a particular waiting caller. In the <seL4> tutorial's <IPC> model, a call establishes one-time reply authority, allowing a <user-space service> to return to the correct client. The exact representation depends on the <operating-system kernel> configuration. <IPC tutorial by seL4 Project>[IPC tutorial, Background: System calls, seL4_Call and reply capabilities]{ref}