seL4微內核學習之四：系統調用

seL4系統調用主要有如下八個：web seL4 Send()： 經過已被命名的cap傳遞消息，而後容許程序繼續，若是調用這個cap的是endpoint，且沒有receiver接收消息，sender將會被阻塞到有receiver接收。Reciver和內核對象不會返回錯誤。async seL4 NBSend()： 不會阻塞的send，在沒有receiver時，將消息丟棄，Reciver和內核對象不會

>>阅读原文<<