open Virt_mem_utils
open Virt_mem_types
+(*
open Kernel_net_device
open Kernel_net
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
failwith (sprintf (f_"%s: too many network devices") image.domname);
in
loop 0 image [] addr
+*)