Added proper formatting
Added stubs for HAL devices