var dir_34ae86e414c9a960c5c39d1d6b15c7a8 = [ [ "tinykernel", "dir_91e9b2eecded889eb8782a5ba7843b6a.html", "dir_91e9b2eecded889eb8782a5ba7843b6a" ] ];