Hello, Joan Lledó, le mer. 05 juil. 2023 21:38:11 +0200, a ecrit: > On the other hand, in the past we discussed how to make IO spaces available > for users through the arbiter [1]. It seems the way to go is adding a new RPC > that checks for permissions, calls i386_io_perm_create() and returns the > resulting port. I could work on that. After all changes in the arbiter and > the Hurd these last years, would still be useful to have such RPC?
I believe so, that'd allow safe delegation of driving a PCI card. Samuel
