AF_BUS, D-Bus, and the Linux kernel