Merge "[AWARE] Developer documentation on HAL usage" into pi-dev