Welcome to Linux Forums! With a comprehensive Linux Forum, information on various types of Linux software and many Linux Reviews articles, we have all the knowledge you need a click away, or accessible via our knowledgeable members.
Find the answer to your Linux question:
New to Linux Forums? Register here for free!
    Linux Forums > The Community > Everything BSD > stdio.h no such file

Forgot Password?
 Everything BSD   For all discussions regarding Free/NetBSD and OpenBSD.

Site Navigation
Linux Articles
Linux Forums
Linux Downloads
Linux Hosting
Free Magazines
Job Board
IRC Chat
RSS Feeds


Linux Forum Topics
Linux Forums
Your Distro
Linux Resources
GNU Linux Zone
The Community
Reply
 
Thread Tools Display Modes
Old 04-30-2009   #1 (permalink)
Just Joined!
 
Join Date: Jan 2006
Posts: 13
stdio.h no such file

Hi guys:

I modified and compiled the FreeBSD 7.0 kernel. Compile error: stdio.h no such file or directory. My source is #include <stdio.h>

I found the stdio.h in /usr/include/stdio.h.

Does this mean that kernel cannot use lib from user space? Or is that only a path problem? Can anyone tell me how to add path to FreeBSD kernel? I am using directory /sys/netipsec.

Thank you.
Max
chen8002004 is offline  


Reply With Quote
Old 04-30-2009   #2 (permalink)
Linux Engineer
 
Join Date: Nov 2007
Location: Córdoba (Spain)
Posts: 1,495
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.
i92guboj is offline   Reply With Quote
Old 04-30-2009   #3 (permalink)
Super Moderantor
 
techieMoe's Avatar
 
Join Date: Aug 2004
Location: Texas
Posts: 9,269
Quote:
Originally Posted by i92guboj View Post
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.
Moved to the proper section.
__________________
Registered Linux user #270181
TechieMoe's Tech Rants
techieMoe is offline   Reply With Quote
Reply


Currently Active Users Viewing This Thread: 1 (0 members and 1 guests)
 
Thread Tools
Display Modes

Posting Rules
You may not post new threads
You may not post replies
You may not post attachments
You may not edit your posts

BB code is On
Smilies are On
[IMG] code is On
HTML code is Off
Trackbacks are Off
Pingbacks are Off
Refbacks are Off

Free Magazines
Run Your Own Web Server Using Linux & Apache - Free 191 Page Preview
Learn about everything you'll need to build and maintain your Linux servers, and to deploy Web applications to them.
subscribe
Open Source Security Myths Dispelled
Dispel the five major myths surrounding Open Source Security and gain the tools necessary to make a truly informed decision for your IT organization
subscribe
InformationWeek
InformationWeek is the only newsweekly you'll need to stay on top of the latest developments in information technology.
subscribe



All times are GMT. The time now is 05:03 PM.






© 2000 - 2009 - All Rights Reserved - Property of  MAS Media

Content Relevant URLs by vBSEO 3.3.0 RC2