Linux Kernel Real Time DENX developers contribute with a lot of patches to kernel development Read more