Sebastian Huber commented on a discussion: https://gitlab.rtems.org/rtems/rtos/rtems/-/merge_requests/110#note_109005 If you still want separate repositories, then you have to accept the fact the different tools are in different repositories. The rtems-central repository contains a lot of useful tooling to work with RTEMS. You could do the RTEMS releases with it for example. The memory benchmarks are not enabled by default and you can control the build using the BUILD_MEMBENCH build option. -- View it on GitLab: https://gitlab.rtems.org/rtems/rtos/rtems/-/merge_requests/110#note_109005 You're receiving this email because of your account on gitlab.rtems.org.
_______________________________________________ bugs mailing list [email protected] http://lists.rtems.org/mailman/listinfo/bugs
