After VirtualBox stopped working with USB devices, using a native Linux box...

After VirtualBox stopped working with USB devices, using a native Linux box changed the Ethernet device name.

Demo_Eth_GR740_to_PC/DeploymentView.aadl

@@ -28,7 +28,7 @@ FEATURES
 PROPERTIES
   Taste::Interface_Coordinates => "120784 150075" APPLIES TO link;
   Deployment::Help => "Write your ASN.1 configuration here";
-  Deployment::Configuration => "{devname ""enx0050b6519447"", address ""192.168.0.151"", port 5116 }";
+  Deployment::Configuration => "{devname ""eth1"", address ""192.168.0.151"", port 5116 }";
   Deployment::Config => "/home/taste/tool-inst/include/ocarina/runtime/polyorb-hi-c/src/drivers/configuration/ip.asn";
   Deployment::Version => "0.1beta";
 END generic_sockets_ip_pohic;