rCore-Tutorial-v3/ch8/os/fs/sidebar-items.js

window.SIDEBAR_ITEMS = {"mod":["inode","pipe","stdio"],"trait":["File"]};