Ещё один плюс в сторону пользователей RH Linux Enterprise 3.0
http://www.actel.com/downloads/libero/