Hello, I've finished my thesis and this is the final code, there are no new features but I fixed some bugs I've found.
> Mach actually provides a way to give a task the right for a given > range of I/O ports (i386_io_perm_cerate), so one could use that. Nice! > I don't think we want to spend time on doing it for legacy ports, > and we should just work on support in the PCI arbiter: an RPC > operation which just returns a port created with i386_io_perm_create. Ok, I'll do it that way. Thanks for your comments.