RedSleeve
RedSleeve is a free operating system distribution based on the Linux kernel. It is derived from the Red Hat Enterprise Linux distribution, ported to the ARM architecture.
RedSleeve is derived from the free and open-source software made available by Red Hat, Inc., but is not produced, maintained or supported by Red Hat. Specifically, this product is built from the source code for Red Hat Enterprise Linux versions, under the terms and conditions of Red Hat Enterprise Linux's EULA and the GNU General Public License. The name RedSleeve was chosen because it makes it intuitively obvious what upstream distribution it is derived from, while at the same time implying that it is for the ARM platform.
RedSleeve is different from other Red Hat Enterprise Linux derivatives such as CentOS and Scientific Linux in that it is also a port to a new platform that is not supported by the upstream distribution.
History
The first official Alpha release was made available on February 12, 2012.Releases
| Version | Release date | System | Kernel | Features |
| RedSleeve 7.4–1.1 | Raspberry Pi 2 and 3 | 4.9.80 |
| |
| RedSleeve 7.4–1.0 | Raspberry Pi 2 and 3 | 4.9.65 | ||
| RedSleeve 7.4–1.0 | Raspberry Pi 0 and 1 | 4.9.65 | ||
| RedSleeve 7.4–1.0 | Odroid XU3 and XU4 | 4.9.61 | ||
| RedSleeve 7.4–1.0 | Odroid XU3 and XU4 | 3.10.106 |