On Wed, Sep 24, 2008 at 22:44, Enrico Zini <enrico@enricozini.org> wrote: > That is what the hardware::* facet is for. Neat. Thanks :) Richard