/* Copyright holders: Sarah Walker
   see COPYING for more details
*/
extern const device_t	intel_batman_device;