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>
13 static uint32_t microcode_updates[] = {
14 /* WARNING - Intel has a new data structure that has variable length
15 * microcode update lengths. They are encoded in int 8 and 9. A
16 * dummy header of nulls must terminate the list.
18 #include "microcode-1068-m01f122d.h"
19 #include "microcode-1069-m04f122e.h"
20 #include "microcode-1070-m02f122f.h"
21 #include "microcode-1072-m04f1305.h"
23 /* Dummy terminator */
30 static void model_f1x_init(device_t dev)
32 /* Turn on caching if we haven't already */
37 /* Update the microcode */
38 intel_update_microcode(microcode_updates);
40 /* Enable the local cpu apics */
44 static struct device_operations cpu_dev_ops = {
45 .init = model_f1x_init,
48 static struct cpu_device_id cpu_table[] = {
49 { X86_VENDOR_INTEL, 0x0f12 },
50 { X86_VENDOR_INTEL, 0x0f13 },
54 static const struct cpu_driver driver __cpu_driver = {
56 .id_table = cpu_table,