tinykernel/docs/html/dir_9b10c2ff4e034627dc7271865b055c64.js

var dir_9b10c2ff4e034627dc7271865b055c64 =
[
    [ "tinykernel", "dir_01f710e8c634e538c6d9f00c5eaf4f2e.html", "dir_01f710e8c634e538c6d9f00c5eaf4f2e" ]
];