Resources

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/