12 Sep
2024
12 Sep
'24
7:01 a.m.
On 12 Sep 2024, at 06:41, Hugo V.C.
"I don’t think tutorials on microkernels and capabilities belong into the seL4 kernel documentation"
Sure. I have no idea how you guys can deal with this... I'm on the commercial side, just thinking about how people can "easily" become seL4 developer…
How is this affected by low-level technical details that are hidden behind libraries, especially if you use higher-level frameworks such as the Microkit? Gernot