The text 6bd9487d2015, as Debian 10 (Buster) shipped it.
manipulate device state
device_get_state(9freebsd) on Linux now
