Benchmarks Of Linux 4.14 On The Raspberry Pi

This week Raspbian OS, the official Debian-based operating system of the Raspberry Pi, finally upgraded to the Linux 4.14 LTS kernel. Considering that Raspbian was previously on Linux 4.9, it's quite the kernel upgrade, and I decided to run some before/after benchmarks...