rCore-Tutorial-v3/ch3/os/sbi/sidebar-items.js

window.SIDEBAR_ITEMS = {"fn":["console_putchar","set_timer","shutdown"]};