The text e2e52475f6b7, as Debian 7 (Wheezy) shipped it.
get a resource for a device
platform_get_resource(9) on Linux now
