var N = null;var sourcesIndex = {}; sourcesIndex["os"] = {"name":"","files":["console.rs","lang_items.rs","main.rs","sbi.rs"]}; createSourceSidebar();