Comment by hrjet

Slightly off topic, but do you know whether the paid developers of Linux work on the core kernel, or on device drivers?