On 11 Sep 2024, at 07:02, Hugo V.C. wrote:
>
> Thanks T. Having this in a documentation would be nice to improve seL4
> learning curve. I really appreciated reading all the explanations, but this
> T summary is very helpful, like the few really important things an
> experienced skydiver say to be
Hello T,
Great to hear it clicked!
Now that you understand this, I'd like to mention that seL4 kernel
"objects"
are not as clear-cut as they seem. This is currently not very well
explained
in the manual and only something you will run into when actually using
seL4,
mostly manifesting as pecu
Thanks T. Having this in a documentation would be nice to improve seL4
learning curve. I really appreciated reading all the explanations, but this
T summary is very helpful, like the few really important things an
experienced skydiver say to beginners to increase their self confidence.
On Tuesda
Hey Indan,
After reading your (and others) words, it finally clicked for me!
Like you (and others) have said in seL4 all interaction are done by invoke
objects via capabilities.
It sounds obvious at first (many resources talk about this), but understanding
is another story:)
In case there are