入口函数 kern/init.c 内核内存布局 [KERNBASE, +oo]: kernel space KERNBASE: 0xF0000000 [KERNBASE-4MB, KERNBASE]: kernel stack [MEMORY MAP IO] [USER SPACE]