[MirageOS-devel] adding `replace_listener` function to Mirage_net.S

[Mindy Preston <mindy@xxxxxxxxxxxxxxxxxxx>]

Hi friends,

In mirage_net.mli, the documentation for `val listen` says:
"this function can be stopped by calling disconnect in the device layer".

This is the only method mentioned to stop the call to `listen`. There 
isn't any API call for replacing the callback established in `listen`.  
In mirage-vnetif, `disconnect` just stops the listener, and we can 
continue to use the device after. This does not work for mirage-net-xen 
(and maybe solo5), because disconnect cleans up the interface and we can 
not continue using it.
It seems we need to make a new connection to change the listener, which 
needs configuration that doesn't belong in the unikernel.  We would also 
need to call all higher-level `connect` functions built on top of the 
network interface again each time this is done.
Instead, could we have an additional API call in `mirage_net.mli` which 
replaces the listener cleanly?
Yours in hax,
yomimono (translated to human by linse)

_______________________________________________
MirageOS-devel mailing list
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/mirageos-devel