tinykernel/docs/html/dir_acd5872930fa412076ba552147794c0b.js

var dir_acd5872930fa412076ba552147794c0b =
[
    [ "tinykernel", "dir_53c07a1711446230771e696affad55be.html", "dir_53c07a1711446230771e696affad55be" ]
];