/*
* This file is part of the coreboot project.
- *
+ *
* Copyright (C) 2007-2009 coresystems GmbH
*
* This program is free software; you can redistribute it and/or
#include <usbdebug_direct.h>
static const uint32_t microcode_updates[] = {
- #include "microcode-2127-m206f6c7.h"
#include "microcode-2129-m206f257.h"
#include "microcode-2334-m016fbB6.h"
- #include "microcode-2335-m086fbB6.h"
#include "microcode-2336-m106fbB6.h"
#include "microcode-2337-m806fbB6.h"
- #include "microcode-2339-m046fbB7.h"
- #include "microcode-2340-m406fbB7.h"
#include "microcode-2346-m16fda3.h"
#include "microcode-2347-m206fda3.h"
#include "microcode-2348-m806fda3.h"
#include "microcode-2374-m16f6cb.h"
+ #include "microcode-2375-m206f6cc.h"
#include "microcode-2376-m46f6cd.h"
#include "microcode-2380-m106f768.h"
#include "microcode-2381-m406f769.h"
#include "microcode-2385-m806fa94.h"
#include "microcode-2389-m16f25a.h"
+ #include "microcode-2986-m086fbB8.h"
+ #include "microcode-2990-m046fbB9.h"
+ #include "microcode-2991-m406fbB9.h"
/* Dummy terminator */
0x0, 0x0, 0x0, 0x0,
0x0, 0x0, 0x0, 0x0,
0x0, 0x0, 0x0, 0x0,
};
-static inline void strcpy(char *dst, char *src)
+static inline void strcpy(char *dst, char *src)
{
while (*src) *dst++ = *src++;
}
/* Skip leading spaces */
processor_name_start = temp_processor_name;
- while (*processor_name_start == ' ')
+ while (*processor_name_start == ' ')
processor_name_start++;
memset(processor_name, 0, 49);
#if CONFIG_USBDEBUG_DIRECT
static unsigned ehci_debug_addr;
#endif
-
+
static void model_6fx_init(device_t cpu)
{
char processor_name[49];
/* Print processor name */
fill_processor_name(processor_name);
- printk_info("CPU: %s.\n", processor_name);
+ printk(BIOS_INFO, "CPU: %s.\n", processor_name);
#if CONFIG_USBDEBUG_DIRECT
// Is this caution really needed?
- if(!ehci_debug_addr)
+ if(!ehci_debug_addr)
ehci_debug_addr = get_ehci_debug();
set_ehci_debug(0);
#endif
{ X86_VENDOR_INTEL, 0x06fa }, /* Intel Core 2 Solo/Core Duo */
{ X86_VENDOR_INTEL, 0x06fb }, /* Intel Core 2 Solo/Core Duo */
{ X86_VENDOR_INTEL, 0x06fd }, /* Intel Core 2 Solo/Core Duo */
+ { X86_VENDOR_INTEL, 0x10676 }, /* Core2 Duo E8200 */
{ 0, 0 },
};