Hi developers,which git repository should I use preferably to clone from. The one on git.rtems.org or github?
Thanks, .. frank _______________________________________________ rtems-devel mailing list rtems-devel@rtems.org http://www.rtems.org/mailman/listinfo/rtems-devel
