How can you extract Hardware ID using Python?

Question

How do you extract an HD and Bios Unique ID, using python script?

Answer 1

Solutions that come to my mind:

1. use Win32 Python Extensions and call Windows APIs to do that directly
2. Use a WMI-wrapper for Python

(some WMI interface code for reference)

Edit: I assumed your OS was MS Windows :)