[PATCH v2] hurd: Make getrandom cache the server port

[Sergey Bugaev]

On Fri, Dec 2, 2022 at 12:17 PM Samuel Thibault <samuel.thibault@gnu.org> wrote:
>
> Hello,
>
> Sergey Bugaev, le ven. 02 déc. 2022 12:13:51 +0300, a ecrit:
> > Caveat: this new implementation does not respect the GRND_RANDOM flag
> > and always uses /dev/urandom to read random data.
>
> It should be easy to fix that?
> By adding a second series of file_t
> and multiplexing here.

Sure, if you would prefer it that way. I'll send v3 in a moment.

> Thanks for your work on this,
> Samuel

Sergey