[FLP] Completing the missing HAL draft implementations