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 [email protected] https://lists.xenproject.org/mailman/listinfo/mirageos-devel
