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