Comment by bitcharmer
5 years ago
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.
5 years ago
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.