Hi, > > Do we want to forsake good resource management in favor of narrowing > > (not closing) one particular potential covert channel? As for me, > > the answer is no. > > Please provide some (any) evidence that self-paging leads to good > resource management, and that other, more secure, more conventional > mechanisms really are not just as good.
Sorry, there is some confusion here. Maybe I should have quoted more text. I wasn't actually referring to self-paging. I'm somewhat sceptical about this myself. But in my understanding, this is just a minor technical question. The real issue, which I was referring to, is the market-based resource management approach. And no, I can't present any proofs of it's merits. It just happens to make sense to me. -antrik- _______________________________________________ L4-hurd mailing list [email protected] http://lists.gnu.org/mailman/listinfo/l4-hurd
