In addition, change kernel debug file extension to .debug, to match userland debug files.
Posted for initial comment - I am aware of at least two issues to resolve:
- Need better integration with knobs. Setting WITH_DEBUG_FILES for userland automatically adds -g to DEBUG_FLAGS. Presumably kernel debug should work the same way (or perhaps WITH_KERNEL_DEBUG_FILES if more fine-grained control is desired).
- The /usr/lib/debug/boot/kernel/ directory will need to be renamed in installworld as we do with /boot/kernel/