I wonder if booting the OpenBSD kernel would be faster. Although, the OpenBSD init system is notoriously slow.
Also I feel (but don't know for sure) most of the time before executing the user space program would be spent by systemd.
Also I feel (but don't know for sure) most of the time before executing the user space program would be spent by systemd.
Is this on the PI where it is slow. On my T420 it seems fine, but the re-linking of various daemons does add time. But that is done for security so I am fine to live with it.
Me, I want fast power down time so I can get out the door fast. And so far NetBSD, OpenBSD and Linux seems to meets that need :)