This version is a plain copy of the RTEMS6 repo at 18.09.2023.