src/external/cddl/osnet/sys/kern