> Could anyone give me details about how that number is given to the USB
> composite driver and/or how it's generated (user-space? kernel-side?).

Turns out it was quite easy to figure out:

mach-herring.c:

static void __init herring_machine_init(void)
{
[…]
        s3c_usb_set_serial();

which does:
        sprintf(device_serial, "%08X%08X", system_serial_high,
                        system_serial_low);

these same values are also reported by cat /proc/cpuinfo

-- 
Paul Kocialkowski, Replicant developer

Replicant is a fully free Android distribution

Website:        http://www.replicant.us
Wiki/Tracker:   http://redmine.replicant.us


-- 
unsubscribe: android-kernel+unsubscr...@googlegroups.com
website: http://groups.google.com/group/android-kernel

Reply via email to