Configuring a NetBSD kernel