Linux 4.19 Kernel Benchmarks On The Raspberry Pi

With the Raspberry Pi Foundation recently having begun rolling out a Linux 4.19-based kernel to Raspberry Pi boards, here are some benchmarks looking at the performance of two Raspberry Pi systems with the new Linux 4.19 kernel compared to its previous 4.14 kernel.