Kernel UBSan

Contact: tech-kern@
Mentors: kamil@ + ?
Duration estimate: 3 months

Port LLVM and GCC kernel UBSan pieces to the NetBSD/amd64 kernel.
Integrate the support with the toolchain inside src/.
Add support for a new kernel option (and perhaps configuration) KUBSAN.

The toolchain support on the LLVM side is done. GCC should work too.

Milestones:

 1. Build manually the NetBSD kernel against UBSan.
    Port the needed code from Linux (don't violate the license).
 2. Ensure that we don't violate the license - either ask for relicense or reimplement the needed code.
    There is little code for KUBSan.
 3. Integrate KUBSan with the kernel configuration.
 4. Execute the kernel, attempt to boot to shell.
 5. Run ATF tests against the kernel.
    Report bugs.