Linux kernel is weird. ​