Is it known what flavor of Linux they're running? E.g. are they using real time modifications to the kernel or something?