Comment by snvzz
3 months ago
Because it is not UNIX like.
It does provide some degree of POSIX compatibility, but it does not dictate architecture.
3 months ago
Because it is not UNIX like.
It does provide some degree of POSIX compatibility, but it does not dictate architecture.
Yes, I think most of us are clear that seL4 isn't Unix. But people continue to complain that anything with a Posix layer is Unix-like, and therefore somehow 'bad'. My point was that virtually everyone who complains about this never, ever explains what would have been better to implement, just that it should have been different.