var N = null;var sourcesIndex = {};
sourcesIndex["os"] = {"name":"","dirs":[{"name":"sync","files":["mod.rs","up.rs"]},{"name":"syscall","files":["fs.rs","mod.rs","process.rs"]},{"name":"trap","files":["context.rs","mod.rs"]}],"files":["batch.rs","console.rs","lang_items.rs","main.rs","sbi.rs"]};
createSourceSidebar();
