building RTEMS 4.11 leon3 with floating point support?

2015-08-17 Thread Cudmore, Alan P. (GSFC-5820)
Hi, We are currently trying to use the leon3 BSP for RTEMS 4.11. We have used the 4.10 RCC/Gaisler tools with the Driver Manager in the past, but we would like to be on 4.11 for the SMP support. When I build the 4.11 leon3 BSP, I seem to only have soft-float support. When I try to build with the

Re: Pi2 Mailbox IRQs was Re: Fwd: SMP support for Raspberry Pi 2

2015-08-17 Thread Cudmore, Alan P. (GSFC-5820)
Joel and Rohini, I will have to take some time to catch up.. I apologize that I have not been able to keep up with the Raspberry Pi work lately, I have just been too busy with my work projects. ( which is usually a good thing :) Alan On 8/15/15, 5:37 PM, "Joel Sherrill" wrote: >Alan .. can yo