I am working on a red-green threading on Linux, what interests you?