On Thu, 25 Jul 2019 13:04:21 +0200, Boudewijn Rempt wrote:
>The nearest airport is Schiphol.
Schiphol is well-known on radio and TV these days ;).
--
pacman -Q linux{,-rt{-cornflower,-pussytoes,,-securityink}}|cut -d\ -f2
5.2.2.arch1-1
5.2_rt1-0
5.0.21_rt16-1
5.0.19_rt11-1
4.19.59_rt24-0