Kennt jemand dieses pico/OS?

Hallo,
Kennt dieses OS jemand oder arbeitet sogar schon damit.
Sieht ziemlich umfangreich aus und ist auch gut dokumentiert.
http://picoos.sourceforge.net/index.html

Mich würd interessieren obs brauchbar und nicht voll mit bugs ist.

Danke
Max