Just got a new announcement from AdaCore:
GNAT for LEGO MINDSTORMS NXT is a GPL port for the GNAT compilation system to the LEGO NXT robotic platform, designed to offer an educational platform for teaching and learning embedded systems development.
It includes :
- GNAT GPL edition targeting the LEGO MINDSTOMS NXT Platform
- Bindings to nxtOSEK, an open, real-time operating system providing facilities for real-time and concurrent systems
- Bindings to access MINDSTORMS hardware (processor, sensors and motors), including Bluetooth
- Getting Started material, examples of applications which can be used as teaching material
For more information, please visit: http://libre.adacore.com/libre/tools/mindstorms
GNAT GPL for LEGO MINDSTORMS can be downloaded from the "Download" section on https://libre.adacore.com.
