New commits: commit 162340cbae795dbfad1d4e418961cc8e61aa1314 Author: Andrew Cagney <cagney at gnu.org> Date: Fri Apr 26 12:10:37 2019 -0400 kernel: use a global timer to implement the kernel_process_queue callback Only BSDKAME and KLIPS use this.