Hi! Here's what I see when visiting https://devel.rtems.org/:
Service Unavailable The server is temporarily unable to service your request due to maintenance downtime or capacity problems. Please try again later. Regards, Amaan _______________________________________________ devel mailing list devel@rtems.org http://lists.rtems.org/mailman/listinfo/devel
