> Are these systems more complex to reason about though? Probably :-). But > when you've only got 7 system calls (per the original L4 specifications I've > read over) you don't really have a lot to debug. Just gotta make sure you > chose the correct primitives to compose all the software you need to write > on the system.
that functionality doesn't disappear, does it? where ever it goes, the bugs will follow. if the argument is that it's easier to debug if it's not in the kernel, i think that argument requires some proof. > However some of the more practical academics (yeah I know it's like jumbo > shrimp or military intelligence) have spun very interesting things off like we used to call these people research fellows at corporate labs. sadly, their astroid has landed. - erik