Re: MACHINE ID

Russel,

I boot TI816x_EVM and get

## Booting kernel from Legacy Image at 81000000 ...
   Image Name:   Arago/2.6.34-psp04.00.00.06/c6a8
   Image Type:   ARM Linux Kernel Image (uncompressed)
   Data Size:    1930068 Bytes =  1.8 MB
   Load Address: 80008000
   Entry Point:  80008000
   Loading Kernel Image ... OK
OK

Starting kernel ...

Uncompressing Linux... done, booting the kernel.

Error: unrecognized/unsupported machine ID (r1 = 0x000007d9).

Available machine support:

ID (hex)	NAME
00000af0	ti8168evm

Please check your kernel config and/or bootloader.

I feel the U-boot does not put 0xaf0 to r1 instead 0x7d9. Actually both of them are listed in arch/arm/tools/mach-types. Why does not kernel match with 0x7d9?

---henry

--- On Fri, 11/19/10, Russell King - ARM Linux <[email protected]> wrote:

> From: Russell King - ARM Linux <[email protected]>
> Subject: Re: MACHINE ID
> To: "hong zhang" <[email protected]>
> Cc: [email protected]
> Date: Friday, November 19, 2010, 2:05 PM
> On Fri, Nov 19, 2010 at 11:38:44AM
> -0800, hong zhang wrote:
> > After booting successfully, which command can be used
> to find MACHINE ID?
> > In x86 laptop, hostid can be used.
> 
> On x86, hostid returns a hex number based on the assigned
> IP address of
> the machine.  It is not a number which defines the
> type of host you have.
> 
> > On ARM machine, where MACHINE ID that is listed in
> arch/arm/tools/mach-types
> > can be checked?
> 
> The numeric ID is private between the boot loader and
> kernel, and is
> not exposed to userspace.  What is exposed is the
> platform name (which
> is determined by the machine ID) via /proc/cpuinfo
> 'Hardware' line.
> 
> This is not the same as hostid.
>