Encoding of os_kernel and os_build

Hi folks

Discussions based on this thread


suggest that the encoding for the "triple" string and "distribution_id" should not be hex-bytes.

triple should be sent as plain text and distribution_id should be binary-encoded (escaped with {) as described by the GDB-RSP specification.

Any views as to the correct encoding of os_build and os_kernel?


Member of the CSR plc group of companies. CSR plc registered in England and Wales, registered number 4187346, registered office Churchill House, Cambridge Business Park, Cowley Road, Cambridge, CB4 0WZ, United Kingdom
More information can be found at www.csr.com. Keep up to date with CSR on our technical blog, www.csr.com/blog, CSR people blog, www.csr.com/people, YouTube, www.youtube.com/user/CSRplc, Facebook, www.facebook.com/pages/CSR/191038434253534, or follow us on Twitter at www.twitter.com/CSR_plc.
New for 2014, you can now access the wide range of products powered by aptX at www.aptx.com.