2016-06-13 22:12 GMT+08:00 Pedro Alves <palves@redhat.com>: > > Why do we need to support explicitly-listed 32-bit single-precision > registers at all? Currently, our porting to OpenOCD explicitly lists single-precision registers, so the support is left. After removing this from OpenOCD, this support will be also removed. Thanks.