Get serial number or XO name from command line or python

[LASKE, Lionel (C2S)]

Hi all,

Is there a simple way to get the XO serial number and/or the XO name from the command line and/or from a python script ?

                Lionel.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.laptop.org/pipermail/devel/attachments/20110527/df061c8c/attachment.html>