| I know nothing about the FreeBSD kernel, but I wonder what do you need to do inside of the kernel that would need stdio.h.
Besides that, I don't think that the BSD kernel uses the user space libraries. That would be a nonsense. Linux at least doesn't, the kernel has it's own headers. If you link to libs on the user space, I am curious as to how do you plan to link to them when the file system is not accessible, that is, unless you plan to statically link a monster.
But, as said, I am not into the FreeBSD kernel so I'd wait for another -more knowledgeable- answer. I also don't think this is the right section to ask for this. |