嵌入式可配置操作系统 (eCos): http://sources.redhat.com/ecos/
嵌入式开发工具包: https://#/products/edk/
源代码导航器: http://sources.redhat.com/sourcenav/
EL/IX: http://sources.redhat.com/elix/