Linux Kernel

Giriş
İlk Linux kernel'i Minix üzerinde derleniyordu.

Farklı Linux Türevlerinin Kernel'ları Yer Değiştiremez
Açıklaması şöyle. Yani binary olarak kesinlikle yer değişemezler

Kernels from different implementations of Unix-style operating systems are not interchangeable, notably because they all present different interfaces to the rest of the system (user space) — their system calls (including ioctl specifics), the various virtual file systems they use...

What is interchangeable to some extent, at the source level, is the combination of the kernel and the C library, or rather, the user-level APIs that the kernel and libraries expose (essentially, the view at the layer described by POSIX, without considering whether it is actually POSIX). Examples of this include Debian GNU/kFreeBSD, which builds a Debian system on top of a FreeBSD kernel, and Debian GNU/Hurd, which builds a Debian system on top of the Hurd.

Low Latency Kernel
Low Latency Kernel veya Hard Real Time Kernel yazısına taşıdım.