uClinux verwendet die, meines Wissens nach. Allerdings höre ich das "Gebrabbel" des "Misanthropen" zum Ersten mal, konnte eher mit diet libc und / oder gatling was anfangen.