Re: Why so hard to come up with a simple embedded Ada system?

[jonathan <johnscpg@googlemail.com>]

More encouraging words from the GNAT GPL/Mindstorms
webpage:
http://libre.adacore.com/libre/tools/mindstorms/

 GNAT GPL Edition for the LEGO MINDSTORMS NXT
 platform brings the possibility of experimenting
 with embedded systems development using the Ada
 2005 and SPARK languages to an education-oriented
 robotic platform. Entire embedded systems, including
 software, hardware and sensors intercefacing,
 and wireless communications can be developed and
 verified using the GPL editions of GNAT and SPARK.

(GNAT GPL is the free-software version of GNAT.)


Regarding the x86 options: just to be clear,
here's what I was talking about when I mentioned
MaRTE OS. From the homepage, http://marte.unican.es/

 The normal development environment for MaRTE OS is a
 computer with a GNU/Linux operating system installed.
 ...
 You can compile MaRTE OS to [produce executables that
 run as] normal Linux processes (without Real-Time
 guarantees, but useful for fast developing, debugging
 and teaching) or

    as binary for an x86 bare machine.

 Finally, write your multi-thread application in Ada, C
 or C++ (check-out the given examples) and use the provided
 scripts (mgnatmake or mgcc) to compile and link it against
 the kernel. You will get an executable that can be run
 on the architecture you chose when you installed MaRTE
 OS (i.e: as a Linux program or as a Multiboot loadable
 x86 binary)

J.