Show me a browser with a proof of correctness? I'll show you a kernel with one: seL4.
An OS kernel (particularly a microkernel) doesn't actually have to do very much, you know.
This is first-principles brainstorming. As I've already seen it, it's rather hard and almost impossible to follow without the talk, however - just the slides really are missing a lot of it. I'm not sure I follow the arguments in this one either; there's just not enough there about them.
An OS kernel (particularly a microkernel) doesn't actually have to do very much, you know.
This is first-principles brainstorming. As I've already seen it, it's rather hard and almost impossible to follow without the talk, however - just the slides really are missing a lot of it. I'm not sure I follow the arguments in this one either; there's just not enough there about them.