Операционные системы Pico и Nano

Кто нибуть знает вычислительные системы, построенные с использованием так называемых Pico и Nano операционных систем?