/* Copyright holders: John Elliott
   see COPYING for more details
*/
extern const device_t herculesplus_device;