I was checking the socket (in socket.c) implementation.
Are there any (hardware core) reasons that the socket function cannot dynamical allocate a socket number index?
Right now it looks it will use the sn passed in function parameters, but I was expecting it could choose any free socket index and return that id…