# MiSys
type hal_misys_hwservice, hwservice_manager_type;