Closes T154: pmap, kernel: Add support for write-combining on ia32/64
[barrelfish] / kernel / arch / x86_64 / init.c
index 7a8b5c9..2ac940d 100644 (file)
@@ -532,6 +532,9 @@ static void  __attribute__ ((noreturn, noinline)) text_init(void)
     // Check/Enable MONITOR/MWAIT opcodes
     enable_monitor_mwait();
 
+    // Setup Page Attribute Table MSR
+    configure_page_attribute_table();
+
     // Call main kernel startup function -- this should never return
     kernel_startup();