var searchData=
[
  ['virtual_20machine_20monitor_0',['Uvmm, the virtual machine monitor',['../l4re_servers_uvmm.html',1,'l4re_servers']]],
  ['virtual_20memory_20handling_1',['Virtual Memory Handling',['../l4re_concepts_ds_rm.html#l4re_concept_regions',1,'']]],
  ['virtual_20network_20point_20to_20point_20link_2',['l4vio_net_p2p, a virtual network point-to-point link',['../l4re_servers_virtio_net_p2p.html',1,'l4re_servers']]],
  ['virtual_20network_20switch_3',['l4vio_switch, a virtual network switch',['../l4re_servers_vio_switch.html',1,'l4re_servers']]]
];
