Linux kernel status

Which kernels know each board: its device tree is in the kernel's current source. Open a board for what each kernel drives on it.