1 #include <console/console.h>
2 #include <device/device.h>
3 #include <device/pci.h>
6 #include <cpu/x86/mtrr.h>
7 #include <cpu/x86/msr.h>
8 #include <cpu/x86/lapic.h>
9 #include <cpu/intel/microcode.h>
10 #include <cpu/x86/cache.h>
12 static uint32_t microcode_updates[] = {
13 #include "microcode-1376-m8069547.h"
14 #include "microcode-1373-m1069507.h"
15 #include "microcode-1374-m2069507.h"
17 /* Dummy terminator */
24 static void model_69x_init(device_t dev)
26 /* Turn on caching if we haven't already */
31 /* Update the microcode */
32 intel_update_microcode(microcode_updates);
34 /* Enable the local cpu apics */
38 static struct device_operations cpu_dev_ops = {
39 .init = model_69x_init,
42 static struct cpu_device_id cpu_table[] = {
43 { X86_VENDOR_INTEL, 0x0690 }, /* Pentium M */
44 { X86_VENDOR_INTEL, 0x0695 },
48 static const struct cpu_driver driver __cpu_driver = {
50 .id_table = cpu_table,