system.hardware.{product,serial} does not exist in /org/freedesktop/Hal/devices/computer for the OLPC XO.
Does /sys/class/dmi/* exist?
No. The XO uses OpenFirmware, not DMI.
With kernel + hal changes, this should now be in better shape
No such luck. To be frank, I'm not seeing "OLPC HGPK ALPS HGPK" anywhere in lshal. Am I looking in the wrong place?
I'm seeing OLPC in system.hardware.vendor and C2 in system.hdardware.version. Looks good to me??