tinykernel/docs/html/dir_01f710e8c634e538c6d9f00c5eaf4f2e.js

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