* ARM Cortex with FreeRTOS
@ 2011-05-07 4:12 Yosifov Pavel
2011-05-11 18:48 ` John Kern
0 siblings, 1 reply; 3+ messages in thread
From: Yosifov Pavel @ 2011-05-07 4:12 UTC (permalink / raw)
Can be used Ada for ARM Cortex with FreeRTOS (SafeRTOS)? What is the
scheme of the development process for this case?
^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: ARM Cortex with FreeRTOS
2011-05-07 4:12 ARM Cortex with FreeRTOS Yosifov Pavel
@ 2011-05-11 18:48 ` John Kern
2011-05-12 3:09 ` Yosifov Pavel
0 siblings, 1 reply; 3+ messages in thread
From: John Kern @ 2011-05-11 18:48 UTC (permalink / raw)
On May 7, 12:12 am, Yosifov Pavel <aqua...@gmail.com> wrote:
> Can be used Ada for ARM Cortex with FreeRTOS (SafeRTOS)? What is the
> scheme of the development process for this case?
Theoretically, the Lego Mindstorms development kit should be very
close to something you could start with.
http://libre.adacore.com/libre/tools/mindstorms/
I don't see direct evidence of an GNAT-ARM cross-compiler, but the
Brick seems to contain an ARM processor.
http://mindstormsnxt.blogspot.com/2006/08/whats-inside-nxt-brick.html
The older "2009 release of GNAT GPL for the LEGO MINDSTORMS NXT" seems
to be build on some OS, which should be mappable to one of your "free"
OSes, if the free one that is included isn't good enough.
^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: ARM Cortex with FreeRTOS
2011-05-11 18:48 ` John Kern
@ 2011-05-12 3:09 ` Yosifov Pavel
0 siblings, 0 replies; 3+ messages in thread
From: Yosifov Pavel @ 2011-05-12 3:09 UTC (permalink / raw)
On 12 май, 01:48, John Kern <phone.john.k...@gmail.com> wrote:
> On May 7, 12:12 am, Yosifov Pavel <aqua...@gmail.com> wrote:
>
> > Can be used Ada for ARM Cortex with FreeRTOS (SafeRTOS)? What is the
> > scheme of the development process for this case?
>
> Theoretically, the Lego Mindstorms development kit should be very
> close to something you could start with.
>
> http://libre.adacore.com/libre/tools/mindstorms/
>
> I don't see direct evidence of an GNAT-ARM cross-compiler, but the
> Brick seems to contain an ARM processor.
>
> http://mindstormsnxt.blogspot.com/2006/08/whats-inside-nxt-brick.html
>
> The older "2009 release of GNAT GPL for the LEGO MINDSTORMS NXT" seems
> to be build on some OS, which should be mappable to one of your "free"
> OSes, if the free one that is included isn't good enough.
Thank you!
^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2011-05-12 3:09 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2011-05-07 4:12 ARM Cortex with FreeRTOS Yosifov Pavel
2011-05-11 18:48 ` John Kern
2011-05-12 3:09 ` Yosifov Pavel
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox