var searchData=
[
  ['generator_20for_20uvmm_0',['uvmm_dtg The device tree generator for Uvmm',['../l4re_servers_uvmm_uvmm_dtg.html',1,'']]],
  ['gui_20multiplexer_1',['Mag, the GUI Multiplexer',['../l4re_servers_mag.html',1,'l4re_servers']]]
];
