map kernel_version image addr (
fun netdev ->
{ netdev_name = truncate_c_string netdev.net_device_name;
- netdev_dev_addr = netdev.net_device_dev_addr }
+ netdev_flags = netdev.net_device_flags;
+ netdev_operstate = netdev.net_device_operstate;
+ netdev_mtu = netdev.net_device_mtu;
+ netdev_perm_addr = netdev.net_device_perm_addr;
+ netdev_addr_len = netdev.net_device_addr_len;
+ }
) in
image, Some netdevs