юзал недавно. исходники забрать можно, но с экспортом в keil траблы. проекты (не сорцы) при экспорте в EmBitz покалеченные. но в принципе юзабельно. сама "ОС" там вааще под вопросом, ибо в наличии некоторые примитивы, но полноценного решения было не видать. насчет оффлайн IDE от них - не в курсе.