But given that on the host side, devuan is correctly handling these devices and I can use them like any other ethernet device from the host, it seems to only be a problem when the devices are captured by the VM. I have some new dongles on order that should arrive in the next few days. I will note that the serial numbers for one of the devices is a little funky, being something like '000000' which probably isn't helping matters.
That device is already captured by another vm, where it is working correctly. I am NOT capturing that other realtek device to the vm in question. There really is another realtek device on the host, and I hope that is not interfering somehow with virtualbox's capture management. The host kernel requires an upgrade, which I hope to do soon to take advantage of the higher speeds. The two usb devices are actually USB 3, but I have not yet implemented that in virtualbox.
