Embedded Configurable Operating System (eCos): https://sources.redhat.com/ecos/
Embedded DevKit: https://www.redhat.com/products/edk/
Source Navigator: https://sources.redhat.com/sourcenav/
EL/IX: https://sources.redhat.com/elix/