MACHINE ID

[Russell King - ARM Linux]

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.