Comment by jfbastien

I added a mention of TI's hardware in my latest draft: https://isocpp.org/files/papers/D3477R1.html