Comment by fulafel
5 years ago
Where do you get that? Those have all been used in kernels, they work.
Also on another front Apple seems to have already enabled device drivers in user space: https://developer.apple.com/system-extensions/
5 years ago
Where do you get that? Those have all been used in kernels, they work.
Also on another front Apple seems to have already enabled device drivers in user space: https://developer.apple.com/system-extensions/
Yes, you can use them to play around and experiment with OS-level stuff and even have some fun with it.
But you definitely cannot build a performant and robust kernel from scrtach with these languages.
> you definitely cannot build a performant and robust kernel from scrtach with these languages.
I think this is irrelevant (and less importantly, false). Its's fine to use eg se4l as a foundation, or as a incremental step even just have a safety focused driver runtime inside the kernel proper.