I've recently started to learn seL4 by following the Tutorials, which have been 
great so far.
I've been also reading the Manual & API reference to understand and gain 
insight into different mechanisms.

However, I have one fundamental question: Are the object methods system calls?

It is said that seL4 only has 3 logical system calls: Send, Recv and Yield. (In 
all the slides, videos and other documents I have seen)
And the rest is just variations of those ones. But what about object methods? 
Are they system calls? Are they executed in kernel space?

If they are system calls, then wouldn't all the resources out there be 
misleading? Since there are way more than just Send, Recv and Yield.
If they are not, then how are they handled? Does 'libsel4' have anything to do 
with it? I can't imagine 'seL4_Untype_Retype' executing in user space.

Unfortunately, I couldn't find any answers to this question online. So that's 
why I'm asking it here. Maybe there are others who wonders the same thing.

NOTE
The API Reference page confuses me even more. It lists Object Methods in its 
own category (instead of being under System Calls).
Does this means Object Methods are NOT system calls? Or the term System Call is 
just not what I think it is(basically an endpoint to kernel)?.
END NOTE

Thanks for the answers in advance.
-T
_______________________________________________
Devel mailing list -- devel@sel4.systems
To unsubscribe send an email to devel-leave@sel4.systems

Reply via email to