Looking into VoidLinux very much for the reasons you listed. So far, from my playing with void on a VM, it feels like the "OpenBSD" of the Linux world. I love OpenBSD (using it for pf Firewall, DNS and DHCP at work) but I seriously doubt how it'd work in a laptop. My concerns are power consumption, and drivers. Even VoidLinux with the latest linux kernel gives me trouble to enable audio. I really want my laptop to have audio, Wifi, Sleep/resume, web browser working properly. You think OpenBSD might be up to it?