I am a bit confused though here - should the kernel be written by unemployed people? Most contributors won’t have full-time funding.