new format for control of HAL
added new files