yum as their native system for providing updates, with up2date being just its front end. Legal aspects Free redistributions are expressly permitted by the GNU General Public License upon which Red Hat's distributions are based. However, to avoid misrepresentation of Red Hat's trademark, material in the original distribution covered by the trademark must be stripped off or removed from the redistribution. Where distributions (e.g., CentOS) have not been deemed sufficiently thorough in removing references to Red Hat, they have received warnings from Red Hat's legal counsel. CentOS received such a notice seeking to have it remove all mention of Red Hat's asserted trademarks from their website and their distribution. CentOS previously referred to Red Hat as the "Upstream Vendor", or more formally as a "Prominent North American Enterprise Linux vendor". Notable Red Hat Enterprise Linux derivatives AlmaLinux – A 100% Community-owned and governed replacement for CentOS developed under the 501(c)(6) non-profit, AlmaLinux OS Foundation. Bull's XBAS or bullx – (for high-performance computing) CentOS – (version 7 gets maintenance updates until 2024-06-30) ClearOS ClefOS – a port of CentOS for IBM Z by Sine Nomine Associates. EulerOS – certified to The Open Group's UNIX 03 standard. EuroLinux - created by EuroLinux company freely distributed in the open core model. Besides standard paid support company offers forking and rebuilding from sources for special purposes. Previous versions were built on top of Scientific Linux. Inspur K-UX – certified to The Open Group's UNIX 03 standard. MIRACLE LINUX – an enterprise Linux distribution developed by Cybertrust Japan. Oracle Linux – free to download, distribute and use with public access to the latest errata and patches from the Oracle Linux yum server. Optional paid support subscriptions are available from Oracle. Rocky Linux – a community-supported replacement for CentOS initiated by CentOS founder Gregory Kurtzer. Redpesk - a secure embedded Linux targeting industrial connected devices with very long term support make by IoT.bzh Scientific Linux – (version 7 gets maintenance updates until 2024-06-30) SME Server – made by the Koozali Foundation (version 10 based on CentOS 7 gets maintenance updates until 2024-06-30) Springdale Linux – formerly PUIAS Linux is a complete operating system for desktops and servers, built by compiling the source packages for Red Hat Enterprise Linux. VzLinux – made by Virtuozzo and optimized to run in containers, virtual machines or on bare-metal servers. Circle Linux – an open source and community-driven distribution aiming for