var files_dup =
[
    [ "Drivers", "dir_60925fc218da8ca7908795bf5f624060.html", null ],
    [ "Kernel", "dir_52bed8acfaac088d5968cb2c84d7645d.html", "dir_52bed8acfaac088d5968cb2c84d7645d" ],
    [ "tools", "dir_4eeb864c4eec08c7d6b9d3b0352cfdde.html", "dir_4eeb864c4eec08c7d6b9d3b0352cfdde" ],
    [ "Userspace", "dir_97d86ce2f18c7710ea326fa47777d7d7.html", null ]
];