I went through the following question:
and understood how to the change the default device id.
But i was curious to find out where in the source is the default device ID stored.
That is, the kernel command line parameter androidboot.serialno=XXXX shows up when I run:
but i could not find this to be set in
It would be very helpful if someone could tell me where the default device ID is stored ?
Thank you for your time,