[GAP] Lego Segway NXT-Ada/Ravenscar

[Juan Zamorano]

    Hi Laurent,

    XtratuM for LEON2 version 2.2. I have realized that the link 
http://polaris.dit.upm.es/~str/ork/download-xtratum/index.html is broken. 
Anyway, you have to talk with UPV to obtain XtratuM.

    Hope this help

    Juan

On Fri, 8 Jul 2011, Laurent Pautet wrote:

> Hi Juan
>
> On 8 Jul 2011, at 09:59, Juan Zamorano wrote:
>
>> that executes as a partition of XtratuM
>
>
> What version of Xtratum is it ? 1.0 or 2.0 ?
>
> --
> --  Laurent
>
> _______________________________________________
> GAP mailing list
> GAP at gnat.info
> /no-more-mailman.html
> To unsubscribe from this list, please contact the GAP GNAT Tracker administrator
> within your organization.
>