Re: DCC device driver and gdb server

2010-10-11 Thread Øyvind Harboe
On Mon, Oct 11, 2010 at 12:36 AM, Michael Hope wrote: > Hi Øyvind.  You might want to ask the OpenOCD list about this.  I've > used the DCC as an end user before for sending printf() style messages > and RPC over and it's quite good for that. I did, no response. (I'm also one of the main OpenOCD

NEON vectorization: use of specialized load/store instructions

2010-10-11 Thread Julian Brown
I meant to send this to the "external" Linaro toolchain mailing list, not the internal CS one. Apologies to those who receive it twice! In a follow-up message, Joseph Myers pointed out a post he'd written previously on the same subject: http://gcc.gnu.org/ml/gcc-patches/2010-06/msg00409.html I

Re: DCC device driver and gdb server

2010-10-11 Thread Michael Hope
On Mon, Oct 11, 2010 at 8:06 PM, Øyvind Harboe wrote: > On Mon, Oct 11, 2010 at 12:36 AM, Michael Hope > wrote: >> Hi Øyvind.  You might want to ask the OpenOCD list about this.  I've >> used the DCC as an end user before for sending printf() style messages >> and RPC over and it's quite good fo

Re: DCC device driver and gdb server

2010-10-11 Thread Nicolas Pitre
On Tue, 12 Oct 2010, Michael Hope wrote: > Ah, I see. You use the JTAG unit and on-chip debug hardware for the > kernel and use the JTAG-supplied DCC connection for applications. So > you can use the DCC instead of Ethernet or serial, which is nice as it > frees up a port. > > You might want to