Is Kernel Code Different From Non-Kernel Code? A Case Study of BSD Family Operating Systems | IEEE Conference Publication | IEEE Xplore