カーネルの主な初期化処理はsys/kern/init_main.cのmain()から始まるが、この中でconfigure()が呼ばれている場所がある： /* Configure the system hardware. This will enable interrupts. */ configure(); configure()はsys/kern/subr_autoconf.cにあり、…