void infofs_init(){ if(!info_items) info_items=new map<string, info_function>(); fs_registerfs(infofs_driver); fs_mount("INFO", NULL, "INFOFS"); infofs_register("VERSION", &info_kernel); infofs_register("CPUID", &info_cpu); }
void init(){ terminal_extension_id = add_extension(&terminal_extension); infofs_register("TERMS", &terms_infofs); init_device(); terminals=new vterm_list(); cons_backend=new console_backend(); uint64_t id=terminals->create_terminal(cons_backend); terminals->get(id)->sync(); cons_backend->switch_terminal(id); default_terminal=id; }