Teacher Chen speaks Linux kernel 4