*************** i386at_init(void) *** 268,274 **** set_cr3((unsigned)kernel_page_dir); if (CPU_HAS_FEATURE(CPU_FEATURE_PGE)) set_cr4(get_cr4() | CR4_PGE); - set_cr0(get_cr0() | CR0_PG | CR0_WP); flush_instr_queue(); /* --- 268,275 ---- set_cr3((unsigned)kernel_page_dir); if (CPU_HAS_FEATURE(CPU_FEATURE_PGE)) set_cr4(get_cr4() | CR4_PGE); + printf("boot cr0 is %x\n",get_cr0()); + set_cr0(get_cr0() | CR0_PG | CR0_WP | CR0_CD); flush_instr_queue(); /*