> Am I understanding correctly that there is currently no way to have a > file that is shared between libkern and libc? Or is there already a > clean way to do that? It's currently done with libsbuf -- sys/kern/subr_sbuf.c is built for the kernel and for lib/libsbuf. See lib/libsbuf/Makefile. Cheers, matthew