seL4微内核学习之四：系统调用

seL4系统调用主要有如下八个：web seL4 Send()： 经过已被命名的cap传递消息，而后容许程序继续，若是调用这个cap的是endpoint，且没有receiver接收消息，sender将会被阻塞到有receiver接收。Reciver和内核对象不会返回错误。async seL4 NBSend()： 不会阻塞的send，在没有receiver时，将消息丢弃，Reciver和内核对象不会

>>阅读原文<<