The text c42a6d9126aa, as Debian 4.0 (Etch) shipped it.
get a resource for a device
platform_get_resource(9) on Linux now
