Jan Henke wrote: > What comes to my mind, is it possible to make the kernel package > dpkg-reconfigure-able? Thus allowing the sysadmin to choose between the > two modes. I think that would be the sanest solution, it would also > allow switching between the two when needed.
It might be even easier for us to add an option to /etc/grub/default, because /etc/grub.d/10_kfreebsd is what defines kernel boot options, and it already sources that config file. Regards, -- Steven Chamberlain ste...@pyro.eu.org -- To UNSUBSCRIBE, email to debian-bsd-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: https://lists.debian.org/20150514170023.gn61...@pyro.eu.org