* 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